in gpgol-web version 5.1, nothing happens when I click the “Copy manifest” button. I don’t get anything in the clipboard, nor can I find a path that would let me access the manifest so I can upload it. Is this a bug, or am I just misunderstanding something?