Cross off one last to-do item.
Authored by: Eric S. Raymond 2012-05-18
Parent: [05734e]
Children: [7cee7d][d81ef1]