The firmware file attached to this post has a Windows "BAT" file for programming with a USB Tiny Device & avrdude. If you're not using Windows here are the commands that are in the file for you to run on your respective device:
avrdude -v -p attiny13 -P usb -c usbtiny -e -Ulock:w:0x3F:m -Uhfuse:w:0b11111101:m -Ulfuse:w:0x7A:m avrdude -v -p attiny13 -P usb -c usbtiny -Uflash:w:Wireshark_Firmware.hex:i
Thanks for sharing the information about the Wireshark 0x4e00 Pin/Mini Badge! It sounds like a fun and creative project from Hackaday Supercon 2019. If anyone is interested in ordering the boards directly from OSHPark, they can do so by following the link you provided: https://gstcalculatorau.com/. Enjoy making and using these badges!