There'll be new LHArc'd catalogs of The World available within a few days.
Note that your old catalogs will generate little Whap scriptlets which you
_could_ alter with your favorite or second-favorite editor to point at a
different section.
THol() { cout << "Sir, I exist." ;}