Problem with edit functionality

The user @touches reports that they cannot edit their own post (see their comment). Has anyone else observed the same thing? It does not seem to be permission problem as far as I can see.

@touches: could you maybe upload a screenshot of what you see when you try to edit?

Apparently the problem went away, might have been a temporary issue.