Add the original manual file by waitfish