Hi all, you may have noticed my (superfluous) commit df19317c95d2ff3473e957634f523ba38ac4d8b8 which I pushed to openlayers/master. Should we revert/<whatever> this commit since it only makes the history of the codebase more complicated than needed? Sorry for any inconvenience caused; and I mean it. Regards, Marc