I like the choice of Iosevka as a font, though.
Edit: One value I do see myself getting from Mine is as an example Coalton project. Last time I tried Coalton I couldn't figure out how to get ASDF to load standalone Coalton files. Now I have a working example to copy.
For new users, this looks like a welcome alternative to messy things like Lem that never really worked very well for me.
Seeing something like this is a step in the right direction.