Hello, I've many small issues with nixos that I would like to report. However I feel uncomfortable posting them all to this list. The proper way is to add them to some kind of bug tracker. However the bug tracker that is advertised on http://nixos.org/nixos/ seems to be down. It would be great if it was back up. regards, Bas