Filled in some documentation TODOs