In-browser editor for Pastek