Tab sizes, themes, rulers, and autocomplete

Also some packages.