gedit and docker readded since we are currently not using apt-mirror