We are no longer using this variable anywhere in the code, and so I try to clean up the documentation at the same time as the code.