3 ms·Is (lists.gnu.org) down? Here's a copy: https://archive.is/VGGbe https://archive.is/VGGbeby cnst 1y agoIs (lists.gnu.org) down? Here's a copy: https://archive.is/VGGbe https://archive.is/VGGbe