From Murray, ART AD: "As part of my AD review, I suggested that the mnot.net example in Section 3.1.1 should be replaced by a more standard example.com or example.org, in accordance with BCP 32. Any reason why the WG wants to stick with using a private use domain name here?