Re: [OpenBIOS] tokenizer and detokenizer update.