development/files_list_short: Removed special case /home/user/Whonix/whonix_shared/etc/apt/sources.list,
because the user is advised in that file to edit /etc/apt/sources.list.d/user.list instead.