@5t3ph The scroll margin/padding one is a true life saver. We have a sticky header and people have been complaining the whole time that anchor links “scroll too far” and keep filing bugs for it.
I’ve refused to build a JS implementation to work around that and this will finally get things working right 🎉