Try to improve some of the comments in ``scripts/update_api.py`` based on discussion in #461.
Try to improve some of the comments in ``scripts/update_api.py``
based on discussion in #461.

mschlaipfer/z3,kyledewey/z3,mschlaipfer/z3,mschlaipfer/z3,kyledewey/z3,mschlaipfer/z3,seahorn/z3,kyledewey/z3,kyledewey/z3,seahorn/z3,mschlaipfer/z3,kyledewey/z3,kyledewey/z3,seahorn/z3,mschlaipfer/z3,seahorn/z3,seahorn/z3,seahorn/z3