doc-view-mode auto-updating, tex-skeletons, and some minor python comments