I dont have that button. so I had to edit headline and wrote [solved].
ability for all to change headlines is not a good idea. I dont remember this feature on any other serious documenting site(edit: apparently I’m wrong. thank you @sandino.) sooner or later it ll be a problem.