I just want to say that Firefox doesn't yet appear to have a way to a) change the hotkeys (!) b) export the browser history* *except by manually getting the

I just want to say that Firefox doesn't yet appear to have a way to a) change the hotkeys (!) b) export the browser history* *except by manually getting the needed records from the places.sql file