Gadget-editintrobutton

[Tool] EditIntroButton: Adds a button next to the regular edit button which acts as a "section edit" button for the intro, useful for long pages.