Removed unused commented code
New server selection options: all observ x all theory. User-created Tags can now be saved