fedora 41 developer installed it. Now the overview shows that it is version 42. I find strange. It works great, thanks for the effort.
Sjaak
It’s ‘rawhide’. It became f42 when the f41 branch was created from rawhide a few days ago. It will become f43 when f42 will get its own branch next year.