update CotEditor to 1.5.4

Closes #5137.