I was looking at the supertux github page, and noticed flexlay, which used to be the editor for supertux 0.1.3, now has its own repository (with commits newer than the c# based supertux editor). Which editor am I suppose to use?
"At the moment this is ineffably unstable, so you might as well not bother."
Still...is the c# editor being abandoned in favor of flexlay? What's going on?