Closes #9374: add back now-unused module attributes; removing them is a backward compatibility issue, since they have a public-seeming name.