On Firefox + MacOS I don't see the binder launch button in the top: <img width="1065" alt="image" src="https://user-images.githubusercontent.com/2448579/176331730-ed3767f9-344e-449c-8557-bc0c7aea1b30.png">
On Firefox + MacOS I don't see the binder launch button in the top: