uweigand commented on Issue #2492:
This is alternative approach to PR #2488 -- see also the discussion there.
Updated comments.
Last updated: Jan 24 2025 at 00:11 UTC