Cool!

I've reached out to the guy who maintains Tiktoken to talk about this.