SERVER-15817 eliminate done TODOs (TODONEs)