Take out BIP number from document and avoid use of << which mediawiki eats.