མཐུད་སྣེ་འགྲེལ་བྱང་།: page jump

Hide abrupt anchor jumps and fast scroll-to-anchor movement, style a back-to-top button, and find broken anchors on the page.