זמן שמחתינו

בדרכי משה (סי' ת"צ) הביא שיש שאומרים בשביעי של פסח "זמן שמחתינו" בתפילה ובקידוש, לפי שטבעו המצרים בים, וכן הביא הדרישה [והוא גרס "יום" שמחתינו], ובהגהותיו על השו"ע (ס"ז) כתב הרמ"א "ואומרים בתפילה ובקידוש זמן חרותינו כמו ביו"ט ראשון", וכתב הגר"א דאתא לאפוקי מהשיטות שאומרים זמן שמחתנו. ולכאורה...