Comment by jjice

Yeah, I think marked down files and a printed version ends up being a good idea. I've never worked with media wiki directly, but I wonder if you could do an easy nightly dump of markdown contents somewhere.