It turns out that Scott's Help DB is not compatible with Moscow ML's
own, so I have to compile Moscow ML's original code to get the Moscow
ML database to work. I put that code into MyDatabase and faff some
more with the Holmakefile. The Database code is deleted in help/src.