bug in whonix_repository tool

In case you want to disable Whonix’s apt repository, you need the fixed version of the whonix_repository tool. Documentation about this topic has been updated:

Patrick started developing Whonix, the Anonymous Operating System in 2012, when quickly others joined efforts. He collected experiences working pseudonymous on Whonix for two years, enjoys collaboratively working on privacy preserving software.