Fixes #7093: more consistent scrollspy docs