### Describe the bug In this [_config](https://github.com/mp-info/mp-info.github.io/blob/main/files/_config.yml) file, I do not specify any url for binder_url. [However, I still get the Binder launch button](https://mp-info.github.io/1_revisions/revisions_ocaml.html). ### Reproduce the bug - Remove binder_url or set it to "" - Binder launch button is still there ### List your environment _No response_
Describe the bug
In this _config file, I do not specify any url for binder_url.
However, I still get the Binder launch button.
Reproduce the bug
List your environment
No response