No, /err/ is not mentioned. The Header says "or, exclusive or, and defined or" and gives keywords for or and xor. The err was already removed, but the header was not adjusted. Remove "defined or" from the list of things being shown!