From: Marcel van der Boom <[email-masked]>
Date: Mon, 24 Apr 2023 16:11:05 +0200

reopen 57134
quit

Apologies for the noise. I had a manifest in place working around 
the bug, but unfortunately the bug is still there.