The 10-Kilobyte Web Browser