JSON format of PushPublishMap

I'm a little unclear on something in the documentation, which states:

The PushPublishMap.txt file now supports quotation (") marks around the keys and value strings, in compliance with the JSON specification. Older files without quotation marks will continue to work for a limited time. Update your files as you edit them to retain compatibility with future versions of Push Publishing.