Make synchronization of SSH keys opt-in
Install 'ctags' using 'apt-get' only when apt-get exists