Почему так, не знаете? Валидатор ничего не замечает, когда написал big в pre сказал, что ошибка, но не в том, что big в pre, а в том, что big устарел, и нужно использовать CSS. Попробовал другие теги, запрещённые в теге pre ничего не видит, например sup. А здесь написано(http://htmlbook.ru/html/pRE), что тег sup, нельзя использовать в теге pre, кому верить?

Так на HTMLBook что написано? HTML 4? Сейчас используется стандарт HTML 5. Из него исключены многие устаревшие теги - точнее, они всё ещё поддерживаются браузерами в целях совместимости, но как нерекомендованные, теперь их следует избегать.

Я вообще не в курсе дрязг вокруг этих тегов, потому что когда мне надо, я использую CSS, а не этот синтаксический мусор.

Выбери в валидаторе HTML 4, он тебе сразу на big внутри pre выдаст "document type does not allow element "BIG" here".