A bit more in-manager documentation