This section is at https://rollingedition.com/language-models-from-the-ground-up/tokens#train-the-store-tokenizer.