It was loose when we moved in, and broke completely a couple of weeks later.
I looked up a video on YouTube how to fix it, and after initially thinking the hinges only came with an entire new seat, found that you could order a “fixing kit” which had all of the essential parts seen in the video.
The result is satisfactory.
One of the most convenient things about this era is you can find random parts for just about any product online. Fixing things has never been more accessible.