Como fazer para converter e usar os dados do arquivo de exportação de posts do Mastodon, em formato activitypub/ json / gz?

Aproveitei minha migração pro Mastodon pra atualizar e republicar nele a minha thread sobre a linguagem AWK, que conta a origem e história da linguagem, apresenta as diferenças de algumas versões atuais dela, e muito mais.