Yeah, probably these synthetic names could live in something like `xmlnme`, so that we can rename them easily if necessary.