fix pointless bold * and also explicitly describe some internal jump links since how these are named is not consistent across pdf/html versions