Precisely! This makes me think that in 1930 there was a big difference between what had been written by then and what was generally available and known. Today,

Precisely! This makes me think that in 1930 there was a big difference between what had been written by then and what was generally available and known. Today, we have access to letters that scholars wrote to each other etc. Also, a 1930s encyclopedia was no Wikipedia (which still has gaps) and had no entry on Ada Lovelace (for multiple reasons).