Previously, the automatically generated names were entirely undocumented. That
is not a very good state of affairs: although it's possibly inconvenient to
rigidly specify what it is since it's an implementation detail, these names are
user-visible, and it would be good to have documentation at all.
