TODO at [80d18a8d82]

File TODO artifact 8f095878c2 part of check-in 80d18a8d82


  More manual pages.