The browser back button doesn't work properly after jumping to `#hash`

[hatoo]

Especially in /docs/Dialects/*/ pages, the browser back button doesn't work properly after jumping to #hash.
It's annoying to me.

it's because of this script website/themes/mlir/src/js/jquery.backtothetop

Although I've come up with a fix thingsym/jquery.backtothetop#1
I think it's better to just disable this script by deleting this line and rebuilding the theme.

mlir-www/website/themes/mlir/src/js/main.js

Line 3 in 757232a

require( './jquery.backtothetop/jquery.backtothetop.min.js' );