should the page technically be renamed to "v0.9.0" instead of "v0.9.0." ? Durruck (talk) 03:25, 6 August 2019 (UTC)
Yes. I will move the page to this. LunaPixu (talk) 09:14, 6 August 2019 (UTC)
