The machine on which this occurred is now dead (hard disk crash, too old to repair), so I cannot test it.
The machine on which this occurred is now dead (hard disk crash, too old to repair), so I cannot test it.