old_contents: c = get_config()
  
  c.FormgradeApp.base_directory = "autograded"
  c.FormgradeApp.db_name = "example"
  c.FormgradeApp.directory_format = "{student_id}/{notebook_id}.ipynb"
  c.FormgradeApp.db_url = "sqlite:////tmp/nbgrader_example.db"
  
new_contents: c = get_config()
  
  c.FormgradeApp.base_directory = "autograded"
  c.FormgradeApp.directory_format = "{student_id}/{notebook_id}.ipynb"
  c.FormgradeApp.db_url = "sqlite:////../nbgrader_example.db"
  
subject: Fix nbgrader_formgrade_config