It’s interesting that Dr. Batygin in his brief recap of history did not even mention John Couch Adams, usually given at least equal credit for the prediction of Neptune along with LeVerrier (and in English-language sources maybe slightly more even though it was LeVerrier’s prediction that led directly to the actual discovery). Such was the situation back when I was teaching (I retired in 2014); since then I haven’t kept up, but I see that Wikipedia still gives Adams some credit. The complete story of Neptune’s discovery is a rather interesting study in the sociology of science. However, that would be too great a digression from the subject of the video.
As you noted, his recap was brief.
https://mathshistory.st-andrews.ac.uk/Biographies/Adams/
Born 5 June 1819
Lidcott, near Launceston, Cornwall, England
Died 21 January 1892
Cambridge, England
Summary
John Couch Adams was an astronomer and mathematician who was the first person to predict the position of a planet beyond Uranus.