Hello, I have created a pull request in Github to add the rule for the domain " files.tugatech.com.pt" and related subdomains - https://github.com/EFForg/https-everywhere/pull/8118 According to your documentation, i should also send a email here.
Is possible check if the rule is OK and if can be approved to usage? Thanks Pedro Fernandes
