A streamlined version of Tiktokenizer for Happy Robots demo purposes