Network Manager [Was: A few queries re Debian 7.1.0]