Também é isso que me impede de usar esta instância.

Estou ansiosamente à espera que o admin arranje maneira de ter um servidor mais potente.

I tried to use some webproxy to test other locations and had the same result - only difference is the name offered for the file to download.

Thanks.

Just a thought: could it be hsts?

Both hosts and resolv.conf are ok.

Does your ISP or government interfere with your Internet access? When you view the cert, does it show that it was issued by Let’s Encrypt?

I hope not.

I can't inspect any cert. The browser url bar doesn't show the padlock.

On my desktop, the name is something like <random>.ptrom. Im from Portugal. Could ptrom have anything to do with it?

Actualy, downloadfile.bin.

The content seems html but the name is something else. On android the suggested filename is downloadfile.bin. creepy.

Resposta curta: Não há.

Deixa-me descordar. Há sim!

Mas é preciso procurar mesmo muuuuuuito bem.

Olha aqui o que este antigo emigrante fez: Os migrantes da Vénus, a pastelaria que é um planeta à parte

Sadly, not in Debian testing. Not in main, at least.

Actually, I would place the "Subscribed" button as another layer, or remove it completely since it might only make sense to filter subscribed communities... (does it?)

Also I would add a "New filter" option to the menu.

I understand this change would need a great deal of work to be implemented since to create a filter one would have to have access to several filtering options: add one or several communities to search in, add keywords (or hashtags - but, please, see @mark@programming.dev's answer) to include, maybe certain users...

Would it be realistic to implement some kind of language like: "keyword -unwanted AND (keyword OR keyword) AND community:!comunity@instance AND user:@user@instance ..."?

I intentionally used a different font to give emphasis to changes. Also didn't want to try and fail to mach the used font.