20231126周日1、Mini系统更新：解决SuperMemo15.4无法编辑，以15.5替代