# Other names that need to be reverse-renamed for the old namespace