re: #294 freetoken

Don’t forget the other famous American Sinclair.

And Jeffrey Sinclair.

RIP, Michael O’Hare.