docs: def parse_int_arg(name, default):
      """Return a given URL parameter as int or return the default value."""
      return default if request.args.get(name) is None \
          else int(request.args.get(name))