@vinp and @jaffons WOW! Thank you for your comments… Made a huge difference.
After some months I needed to reinstall from scratch (now also hosting octoprint and a remote desktop simultaneously). I thought MM animations were just generally slow, but this made a huge difference compared to the more orthodox setup.
I don’t see why this configuration shouldn’t be preferred over the normal Pi configuration, and the OpenGL driver was also much trickier to get working.