HistoryExtension (i.e. pushState support)

There’s a green button in the download page, you can find a downloadable zip file from there.

You’re right, it would be a nice feature. Unfortunately I don’t have the time/energy to maintain my add-ons anymore, so further development on those is quite unlikely. In case the project gets pull requests, it’d be easier for me to incorporate those changes into a new version, but that’s also, unfortunately, a funnily big effort from my part :frowning: