Olf0
commented
5 months ago @dcaliste, thank you very much for your comment, hence I switched off the draft-status of this PR and requested your review for providing a final chance to have second thoughts about eliminating this.
…, because it appears to be dead code; for details see issue #101.