Еще один вариант. Сделать скришот текста и засунуть изображение в разпозновалку текста типа FineReader.
прокатит. копируешь из исходника форматированный текст куда-то в какой-то кодлобстер, или локальный .html файл и открываешь его браузером. Дальше копируешь, что тебе нужно. Отключение джаваскрипта не всегда спасает, так как иногда контент джаваскриптом принтится. Хорошей идеей может быть сменить юзерагент на юзерагент гугла и отключить js. гуглу мало кто додумывается контент джаваскриптом отдавать.