I have now posted a “release version” of these plug-ins: https://forum.audacityteam.org/t/punch-copy-paste/28906/1