texmcp remote: ok