There is a bug with ProveIt window. Sometimes the window opens at the topmost left corner, already open, and without any reference content, i.e. references are unloaded.
|RuWiki by SerDIDG |EtWiki by Cumbril
ProveIt shows these errors, sometimes:
== QA steps