This repository has been archived by the owner on Jun 4, 2022. It is now read-only.
History pagination
IMPORTANT This addresses a freeze that can occur when opening browser history after any significant ammount of surfing.
Similarly limits autocompletion from history to at most 1 result.
Other very minor UI fixes.