<div dir="ltr"><div class="gmail_extra">I don’t think it is worth our collective effort to bikeshed this right now. The feature might be nice, but it is a small thing that is easily done without. Since we know that naming things is one of the <a href="https://twitter.com/secretGeek/status/7269997868">two hard problems in computer science</a>, I think it is better to hold off on adding this until we have time to figure out the spelling.</div><div class="gmail_extra"><br></div><div class="gmail_extra">Nevin</div></div>