...
The AAT/PPI will look in /home/casa/packages/$OS/release, and every directory it finds there will be added to the list of available CASA versions, then the AAT/PPI will mark which option is the default by following the appropriate symbolic link. In the absence of these links the default CASA version will be the most recent.
We should investigate how often this directory is mirrored, and if it is infrequently, we should ask the helpdesk to provide a way for the DAs to trigger the mirroring.