Saboteur

почитайте про sed, как раз под вашу ситуацию

sed -n '/19:00,/21:00/{/11.11.11.11\/111/p}' file.log > newfile.log

А что подразумевается под буфером обмена?
Ты сидишь в линуксе под линуксовым текстовым терминалом?
Ты сидишь в линуксе под гуи и запускаешь терминал?
Ты сидишь и подключешься к линуксу удаленной машиной и буфер обмена у тебя не в линуксе а в твоей локальной машине, который нужно передать удаленно по ssh?

Когда поймешь что у тебя скорее всего третий вариант, ты поймешь, что буфер обмена это не просто так.
даже vi вполне подойдет, чтобы удалять/заменять текст.

Я одно время пробовал синхроинизроваться через git при смене машины (reset --hard при каждом пересаживании)

Честно говоря, IMHO вам следует научиться работать с git, потому что reset --hard при каждом пересаживании - это вы прямо вообще неправильно пользуетесь инструментом.
А так git это именно то, что надо для синхронизации.

hexdump | grep

Попросите пусть пришлет оригинал документа в .docx, например.

pdf править можно, но обычно все-таки в него экспортируют.

А с чего вы взяли, что в этом редакторе такое можно?
Про - это платная версия, вы можете обратиться к поддержке.
Но если редактор не поддерживает регекспов, то вряд ли у вас такое получится, а судя по сайту - не поддерживает.

Ключевое слово для аттрибута шрифта subscript и superscript
Поддерживается в rich-text (word, wordpad, confluence, etc)

В open type шрифтах есть возможность создать альтернативное начертаний символа, некоторые программы позволяют с этим работать, например https://helpx.adobe.com/ru/photoshop/using/fonts.html

Почитайте также
https://habrahabr.ru/post/127088/
https://habrahabr.ru/post/90236/

Есть даже готовый продвинутый онлайн вариант
coo.by/writer_dev