ascii_only

@liaizon I am not a bot. I just used followgraph to find more people to follow and you were one of them.

Sneak preview of a not-yet-production-quality contribution to Mines. I expected this particular mode to be brain-meltingly confusing, and it is, but not for quite the reasons I'd guessed.

@gaufff If you want to add something fast or on the go: StreetComplete allows to add information to OSM by answering simple question and solving quests. Every Door is good app to add things on the go. If you want to do more complex stuff at some point start either with iD (editor on OpenStreetMap.org) or with JOSM (you have to install it but I like it more especially for complex stuff). Search for "<stuff you want to add> openstreetmap.org" to find how something should be mapped. Wiki usually will have an answer and find your local osm community to ask questions.

@emilychwiggy I used a book reader that could understand pdf. Moon reader in my case (not open source) and now trying MJ pdf. Dont know how good highlighting works in any of them.