Bruce figured out that the problem is that we share our home directory across all hosts, so idlhelp gets confused about which host it is on. (It does not keep track of this.)
So the fix is to get rid of the directory in your home directory that has the incorrect information:
in <homedirectory>/.idl/itt
type
rm -rf idlhelp
We think it is the .metadata/.connection file that causes the problem, but eliminating it does not do the job.
find . -ls | grep -i <filename>
that means find all files from current dir and below, and get file date etc with ls and then find those matching <filename>. The ‘-i’ argument tells grep to ignore the case (uppercase/lowercase) of characters in the filename.
The /home user quotas for all existing users has been bumped from 80M to 200M to handle Firefox’s big disk footprint.
Our former quota of 80M was insufficient for the latest version of Firefox. By default Firefox uses 50M for file caching and another 30M->90M to stash a per-user copy of an anti-phishing blacklist file. Together, these two things could consume the entire original quota of 80M through normal Firefox usage. Rather than turning off Firefox’s cacheing and anti-phishing features I asked James to bump the quota from 80M to 200M and edited the ‘new user’ checklist post with the new values.