AWK: Adicionando linhas em branco a cada 10 linhas

Link original aqui.
Testei o comando abaixo com êxito, cumprindo a função de
colocar um espaço a cada 10 linhas.

awk '{ print } NR % 10 == 0 { print "" }' input