That's nice.
In any case, the Russian economy (now crippled by the war) is heavily dominated by oil and gas, followed by mining. Tech comprises only a small percentage of Russian GDP.
As you posted, Nginx was acquired by an American company in 2019. I don't know the current situation as far as the impact on Russian Nginx workers under western sanctions.