Bobby Charlton had scored more international goals
... that until recently, Bobby Charlton had scored more international goals than any other English footballer?
... that until recently, <b id="mwChQ"><a href="./List_of_international_goals_scored_by_Bobby_Charlton" id="mwChU" rel="mw:WikiLink" title="List of international goals scored by Bobby Charlton">Bobby Charlton had scored more international goals</a></b> than any other English footballer?