Christopher Howard Fri, 01 Nov 2024 09:17:28 -0700
Looking at this bug report after a few years, the question doesn't seem worthy of more attention. Closing my bug report.
-- Christopher Howard