When I was writing my thesis I used TexStudio and had a hook to automatically commit and push to github every time I used Ctrl + S. This led to a bunch of non-identifiable commits, but hey, safety first.
A lot of the most recent titles featuring colons aren't the type "Proposition: Question?". Most of the papers I read with colons in the title are similar to "Project Name: Project Description"
That was before the record number of killings, which leads the question, will increased brutality of the police force improve or worsen overall security?
I really enjoy Okular, it's fast, looks good and has smooth-scrolling (looking at you Foxit). However, I have been forced to use Foxit when dealing with annotations, because a lot of times Okular simply cannot display them if they were created in other programs.