20 years ago 52e7c45837 wkj
(Better ideas welcome).
20 years ago cd5bae7871 wkj
Astro with some minor changes to placate Unix.