Apparently neither Morkdown nor Doctoc generates anchor tags consistently with Github itself; each fails in its own special ways.