Keep just one copy of the double-click workaround.

Author: danielballan

.binder/postBuild

@@ -2,4 +2,4 @@
 set -eux
 
 mkdir -p ${NB_PYTHON_PREFIX}/share/jupyter/lab/settings
-cp jupyterlab_config.json ${NB_PYTHON_PREFIX}/share/jupyter/lab/settings/overrides.json
+cp overrides.json ${NB_PYTHON_PREFIX}/share/jupyter/lab/settings/overrides.json

jupyterlab_config.json renamed to overrides.json

@@ -26,7 +26,10 @@ start = "jupyter lab"
 test = "bash ./test.sh"
 
 [activation]
-scripts = ["setup_jupyterlab_config.sh"]
+# Workaround overrides JupyterLab configuration (at the environment level) to
+# make double-clicking on a Jupytext Markdown file open that file as a
+# notebook. This is important for the development workflow for contributors.
+scripts = ["bash .binder/postBuild"]
 
 [dependencies]
 python = ">=3.11"