doc/*.tex: Add, remove, and/or fix stubs to match reality.