There is a specific Raspberrypi OS procedure on that website...
https://flathub.org/setup/Raspberry%20Pi%20OS
Which has slightly different instructions than the link that you cite. Though it does say that the instructions were as at 2021....
Statistics: Posted by kip_the_elder — Mon Jan 27, 2025 9:06 am