Add Hopcroft book and fix capitalisation in Sénizergues.
Eliminate lots of TODOs. The yellow hell slowly clears up ... :)