The icon is still visible, but when I click it, I do not see the ProveIt menu of refs.
For the time being.
If it happens again, please share a screenshot of the JavaScript console, cheers!