His post is two years old, and a lot has happened since his post: Microsoft forced all the players to migrate from their Mojang account to new Microsoft accounts (I got a cape out of it), Minecraft moved to Java 17 from MC version 1.17 onwards, and the GL demands have been outside of what is currently supported by Linux.
After quite a bit of encouraging information from Nicholas Bering that it might actually be possible to install Java Minecraft onto the RPi, I absolutely had to give it a go.