Yeah it doesn't look like there's a `| json` filter builtin (though there is a `urlencode` filter). If we want this filter to be globally accessible, is there a good place to put this? I could just add it to `settings.js`, but that would localize it to only `settings.html`. Every other logical location I can find seems to belong to commonplace (not sure if making changes to those files is a good idea).