Description: Disable the online menu.
 This menu is not stable enough to ship long-term yet,
 as it relies on an externally hosted server which is
 not likely to be ahead of the installed version.
Forwarded: not-needed
Author: Filip Strömbäck <filip@fprg.se>
--- a/root/progvis/main.bs
+++ b/root/progvis/main.bs
@@ -118,7 +118,7 @@
 		m
 			<< Menu:Submenu(mnemonic("_File"), fileMenu)
 			<< Menu:Submenu(mnemonic("_Run"), runMenu)
-			<< Menu:Submenu(mnemonic("_Online"), onlineMenu)
+			// << Menu:Submenu(mnemonic("_Online"), onlineMenu)
 			<< Menu:Submenu(mnemonic("_Help"), helpMenu);
 
 		menu = m;
