New features in the level editor:

level elements can be renamed,
waymark editor implemented,
tips of the day added