As expected, booting into kernel 5.7.17-200.fc32.x86_64 allows me to run poplog as usual, without any problems.
Normally I would report problems with a new kernel via
https://bugzilla.redhat.com/
But I don't expect anyone reading bug reports there will know anything
about poplog, alas.
Aaron
