Is github release tab forgotten or abandoned? #534
Description
[raising the matter in case that's an oversight - otherwise please ignore and close]
The Github "release" tab was used to publish releases, up to v1.2.3.
That may drive people to think v1.2.3 is actually the last release? (at least it got me confused)