[Python-de] Verkettungszeichen

Seid gegrüßt, kann in htmlentitydefs.py, das hier unter /usr/lib/python2.7/ liegt das Verkettungszeichen (codepoint 124, #o174, #x7c) nicht finden. Übersehe ich da etwas? Grüße, Andreas