Category:Old English terms with non-redundant manual script codes