docs: def synopsis(case_id):
      """Update the case synopsis."""
      text = request.form['text']
      case_obj = app.db.case(case_id)
      app.db.update_synopsis(case_obj, text)
      return redirect(request.referrer)