The comparison is with an alternative called "huggingface". At least "Tiktoken" gives some clue as to what the component is for.
(Could we say it is kind of a garden-path word?)
facebook-ed: Includes the whole name, but nothing else. Obviously bad and not OK.
tik-token: Includes the whole name. Also includes a generic common noun that relates to the product at hand, and is completely fine to include in the name. Appart from that "tik" can not be said to "imply a connection to tiktok". This is fine.