BrowserLinux: Simple OS for web browsing, not much else