This is from September but maybe its posted again now because the change is/has shipp(ing/ed) to users?

Personally, I prefer to go the other way and use a local environment subdomain with local stuff anyway (ie local.foo.company.com rather than foo.dev).