I posted to twitter.com

Gwaah! Set LaTex, set BibTex, set LaTex again. Usability?