Actualize some examples
default.nix: ignore .hdevtools.sock