I’m not so sure about that. We had use of the edit button when this site first fired up. It was only after a couple of weeks that it went away. Somebody must have done that deliberately.
On the other hand, you could be right and it was done accidently and they don’t know how to change it back.