I find it the other way around. I remember vividly that the textbook I was using for proving Gödel's first incompleteness theorem was insufferable and dense. Wikipedia gave a nice and more easily understood proof sketch. Pedagogically it’s better to provide a proof sketch for students to turn it into a full proof anyways.