Text this: Hypertrophic olivary degeneration in children