Issue 597: Export database as JSON

That's not a valid description of what the field does. Style check doesn't force us to add random code. If it's exactly the same as `INTERNAL_PROPERTY_NAME`, why don't you use that one instead?