HOPKINS: Remove obsolete TODOs