@DoubleAA oh cool! And I personally have a use for that (i.e. it's not just a curiosity); this year I am ditching the
annoying family sedarim, going to my rabbi for the first night, and (if all goes well) holding my own for the second night for a group of adults who want to really engage with the haggadah and don't care how long we spend on it.