/Options/1.10/Mon Dec 31 13:38:48 2007//
/README/1.3/Sat Dec  8 04:26:10 2001//
/TODO.dev/1.2/Wed Oct 26 07:22:57 1994//
/Debug.tips/1.6/Sat Sep  9 03:01:30 2023//
/TODO.hp300/1.4/Sat Sep  9 03:01:30 2023//
/HPMMU.notes/1.7/Wed May 15 03:01:45 2024//
D