Can the recorder export `.side` format? I'm on v5.5.3 which I just installed from the Firefox add-on store. These are the only options I see when I try to export: <img width="401" alt="Image" src="https://github.com/user-attachments/assets/7439520c-31c9-43ee-99d4-75232939d07e" /> Edit: I installed the Chrome plugin which is v7.1.0. I still don't see selenium format as an export option: <img width="876" alt="Image" src="https://github.com/user-attachments/assets/56ca246f-98da-4bb8-a514-a19ebbbb8ecc" />