是否http.nonProxyHosts支持子网/CIDR IP 语法172.16.0.0/12（私有 IP 地址）？替代方案会相当复杂：
172.16.*\|172.17.*\|172.18.*\|172.19.*\|172.20.*\|172.21.*\|172.22.*\|172.23.*
...等等，与不172.0.*匹配（或者这些不是重要的公共 IP 地址）？！172.15.*172.*
实际上我问的不是那么具体，而是比较笼统。因为一旦你理解了子网/CIDR 符号，你就会想使用它！