I have returned from the USB mines bearing great news.

The badge should now get less stuck when doing CDC comms.

Apparently, TinyUSB does not attempt to flush its CDC TX FIFO unless you
request it or unless it just finished another transfer.