Tbh my account here basically exists for the purpose of using @sill.social

While this may explain how matters evolved until R. Moses Isserles penned that gloss, it appears we cannot necessarily accept it literally and uncritically

Interestingly the Rabbi G. Zinner ed. (of the text in question independent of its placement in the Ohr Zarua) states that there is a variant in ms. that has R. Elijah of Londres

Here's the relevant passage in a recent edition of Ohr Zarua with a critical apparatus

Got to reading this article over Shabbos and enjoyed, as I too had been previously intrigued by this Haggadah question.
However there's an important point to be made in relation to the accuracy of Rama's gloss: Neubauer (1888) observed that earlier instances of this line have Dreux instead.

I believe that davka the latter was a Chabad community. Came across this point about the two similarly named places a few years ago when exploring a teshuva of the TzTz