Bounty goes to @pi ! i thought i could split the bounty among commenters, but i was wrong! so the lucky winner is @pi (randomly chosen)
Thank you, Sir! That's very generous. 🙏
reply