Não algo forçado, mas através de comentários nas postagens, de uma forma relativamente natural, mencionando aspectos relacionados ao Brasil conforme contextos apropriados surgirem no Lemmy.
Por exemplo, esses dias atrás me deparei com um comentário onde questões fonéticas anglófonas eram abordadas, então comentei acrescentando uma perspectiva lusófona, nisso eu pude fazer uma menção dentro de um fluxo natural de conversa ali.
Outro caso foi um tópico sobre o que os gringos chamam de "suicide cable" (um fio elétrico cujas ambas as pontas são um plug de colocar na tomada, usam pra corrigir instalações de pisca-pisca em árvores de Natal), daí mencionei sobre o padrão brasileiro de tomadas e de gambiarras que muitas vezes vemos por aqui, que praticamente fazem parte de um aprendizado brasileiro de solucionar problemas sem ter que despender muita grana pra aquilo.
Então é dessa forma, relativamente sutil, que lembro os gringos da existência do Brasil como nação.
E quando o nome do Brasil é explicitamente mencionado por um gringo, por texto, notícias, imagens ou infográficos, menções que às vezes acontecem, melhor ainda, porque abre margem para contextualizar melhor, como brasileiro, sobre aquilo que está sendo mencionado. Exemplo: um dia desses falavam sobre a reunião do G-alguma coisa que teve recentemente no Rio, e mencionavam frevo e caipirinha e algum outro elemento cultural que foi escrito de forma errada ou confundido com algum outro elemento cultural (não lembro exatamente). Educadamente corrigi a palavra, e expliquei melhor o que era e qual a relação que os brasileiros tinham com aquele elemento cultural.
Edit: note que a maioria dessas menções são mais em função de aspectos menos polarizantes/complicados, focando mais em aspectos culturais, hábitos brasileiros e dia-a-dia, culinária, tecnologia, linguística, pronúncias, sotaques, e etc, do que política e socioeconômica. Um exemplo interessante que poderia também ser utilizado pra mencionar o Brasil, embora eu particularmente não tenho interesses nesse campo em específico, é o esporte, mencionando sobre os esportes onde o Brasil tem significativo destaque, não somente futebol porque disso todo mundo lembra, mas, por exemplo, a liga nacional de vôlei, basquete, natação, maratonistas brasileiros, fórmula 1, etc.
What about his GitHub Gists? Was there something, such as code snippets or tutorials? Edit for complementing my question: I'm asking this because his Gists is now empty ("lnmangione doesn’t have any public gists yet"), and I wonder if his Gists were deleted or if he really didn't use/didn't know the Gists feature of GitHub.