Thanks to SivagiriVisakan for pointing out the issues here; I ended up redoing this since the doc really belongs in that directory.