As mentioned in stand-up, this `askOptionWithReload`  will soon be useful, as soon as somebody using `askOption` to issue PC requests needs an up to date PC view of the file and realizes this fresh view is not computed automatically.

Long story short : this is IMHO still useful.

But as promised, [here](https://github.com/huitseeker/scala-ide/tree/issue/pc-should-start-after-quiescence-1001454-NoAskOptionWithReload) is a branch without those two methods.