@Fantom° не было такого!
Я думаю мне надо с пдфа перейти на Лотма.
Правда он только завтра выйдет, и только тогда я смогу китайцем попустить.