In-browser code editing for Debian sources