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 https://github.com/thingsym/jquery.backtothetop/pull/1 I think it's better to just disable this script by deleting this line and rebuilding the theme. https://github.com/llvm/mlir-www/blob/757232a5d8cf5de8fb557491348352b77eb65e3f/website/themes/mlir/src/js/main.js#L3