Add TODO about more permissive label handling in registerizeHarder