doc: Sanitize file-names.