My feeling was that I wanted the name mangled so that subclasses couldn't override it (considered that an unsupported use), but I'm not opposed to making that a supported use.