We should probably keep the same names in JSON, so `base_project_url` and `notebook_dir`.