setsumei.txt edits