Changes with Aloha.Editor 0.25.14


Bugfix RT58360

The numerated header plugin would automatically remove text inserted at the beginning of a heading, when it was accidentally inserted into the numeration annotation. The annotation is now read-only.