Home-manager: ungoogled-chromium with extensions?

[ilkecan]

I believe this comment might be helpful. Basically, since “Chrome Webstore interface” is also removed, you have to download the add-ons yourself.