Re #2137 Note about vagrant dns in the test documentation