Putting everything inside `askOption` would be safe, but that would block the compiler thread until semantic highlighting is done (which means other requests, like hover or completions, would be blocked -- they may be on the UI thread).

I think