Searching in doc/educational_decoder