1. 2022-05-20 Re: [xml-dev] Way off topic... but fun? xml-dev Stephen D Green 2. 2022-05-20 Re: [xml-dev] Way off topic... but fun? xml-dev G. Ken Holman 3. 2022-05-20 Re: [xml-dev] Way off topic... but fun? xml-dev Jean Kaplansky 4. 2022-05-20 [xml-dev] Way off topic... but fun? xml-dev Dave Pawson