Are old GitHub issues still being ported?

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?

I have not yet decided on that.
I currently think I might not move them over because there are so many that are obsolete already.

It certainly is fine if you copy the issue over to this platform, maybe link to the old GitHub one.