Fenster — a browser that writes no browser code