don't fetch keymap/extra js; they're not needed here