https://wp.jochen.hayek.name/blog-en/2016/04/14/wikimedia-preferences-gadgets-experimental-headanchor-if-you-switch-this-on-you-will-no-longer-see-headings/