I don’t think I’m able to do anything about this, so I have sent a bug report to Panic. Thanks!
Thanks, it's probably a minor edge case but good that they have visibility of it.
