Thank you for the notice of the Discord problem, since the server is no longer there I deleted it.
Thanks also for the suggestion about the zipper, I will post the version with the fixed bugs shortly.
