MySQL: восстановление одной таблицы из полного дампа

Дамп базы данных, как правило, делается одним файлом для всей БД. На днях потребовалось вытащить из дампа размером 78 ГБ и загрузить в MariaDB одну единственную таблицу. На помощь пришёл редактор sed.
Изучение структуры дампа показало, что требуется скопировать кусок между CREATE TABLE и UNLOCK TABLES. Однострочник в этом случае будет выглядеть так:

# sed -n -e '/CREATE TABLE.*`articles`/,/UNLOCK TABLES/p' ./tecdoc.sql > ./articles.sql

Полный дамп содержится в файле tecdoc.sql, дамп таблицы articles будет записан в файл articles.sql.