Add vim-scripts/argtextobj.vim.
Push everything on GitHub over SSH port 443.

Port 22 is blocked by the school firewall, but pushing over HTTPS gets
annoying very quickly because you have to type the username and password
every time. This is the best of both worlds.