I'm not super happy about this name, either. So, if someone has a better suggestion: don't hesitate to tell!