I too found that side-note a bit unnecessary. "Himself" works just fine as a gender-neutral pronoun.