various housecleaning


In particular, the markdown directory files are in better shape.