OK, thanks for the tip!  Will do when I'm back on Tuesday.

-- 
Pierre Neidhardt
https://ambrevar.xyz/