more lovely crossrefs, remove a whole handwavy obsolete section