@tbrunner@mathstodon.xyz @johncarlosbaez to me, it looks like a poor ghetto in the making but maybe it's an improvement. I'm unfamiliar with the topic.