Following the conversation in #569, it would be good to add the option to launch an interpret to point through a right click, like in vscoq1.
