public function tidy($value) {
		if (is_array($value)) {
			$value = array_map([&$this, 'tidy'], $value);
		} else {
			$value = trim($value);
			// unify line breaks
			$value = preg_replace("=(\r\n|\r)=", "\n", $value);
			// filter nullbyte
			$value = str_replace("\0", '', $value);
		}
		return $value;
	}