docs: function(value) {
  		if ([
  			['%5B', '%5D'],
  			['%7B', '%7D']
  		].some(function isencoded(tokens) {
  			return value.startsWith(tokens[0]) && value.endsWith(tokens[1]);
  		})) {
  			try {
  				value = JSON.parse(decodeURIComponent(value));
  			} catch (exception) {
  				value = null;
  				console.error(this + ': Bad JSON: ' + exception.message);
  			}
  		}
  		return value;
  	}