This is fyi; I wanted to enter a new bug for tex4ht, but I am not able to access
https://puszcza.gnu.org.ua it gives error Failed to connect to database: php_network_getaddresses: getaddrinfo failed: Temporary failure in name resolution Please contact as soon as possible server administrators [email protected]. Until this problem get fixed, you will not be able to use this site. regards, --Nasser
