Re: [jerry@cs.ucsb.edu (Jeremiah W. James)] [20.4] PROBLEMS file update