Comment by yjftsjthsd-h

I'm torn; the old name was awkward, but renaming is a painful breaking change. Oh well, it's done now.