And while we're on the subject of citations in the lede, ideally the lede should have no citations. The lede is a summary. So if the info which it is summarizing is cited in the main text, it doesn't need to be cited in the lede.