Can we decide on one name and use that consistently? (I'm currently polling IRC to see which people prefer.)