can you please let this go through to stable? (It was already included twice
in the automated push reports, but the package must have been filtered out
manually. It is not in the repo, at least.) The corresponding Fedora update
on Sunday at 03:09:13 UTC.