Assorted changes

Regarding on-screen zoom controls, I'm not sure if getting rid of them unconditionally is bad for accessibility reasons. On modern Android versions I never see them so I assume there must be accessibility features to compensate but the same may not be true on older platforms.