User:Magnus Manske/HighlightEditSections.js