re: #1096 freetoken

I would’ve updinged anyway, but “customers” really made it a winner.