On Friday, 18 October 2019 at 07:35:21 UTC, Martin Tschierschke wrote: > [snip] I think this is something that's been proposed before, but most people are happy with just asking a question here and usually people are pretty good about helping out with answers when possible.