Shouldn't "Richard Lester" be "Robbie Lester"[edit]

I think the championships won by "Richard Lester" should actually be "Robbie Lester" shouldn't they? (Unless Robbie's actual name is Richard) — Preceding unsigned comment added by 202.27.236.159 (talk) 02:11, 8 January 2020 (UTC)[reply]