Just asking @Andreas_Hegenberg what the status of open issues over at GitHub is. For example, I made this proposal in April, and early on with the new platform it did appear here, but it doesn't anymore. (And the issue is still salient, as are others on GitHub.)
Should we wait for old, open issues to be ported to this platform? Or perhaps just re-post them here?