docs: def arg_int(name, default=None):
      """ Fetch a query argument, as an integer. """
      try:
          v = request.args.get(name)
          return int(v)
      except (ValueError, TypeError):
          return default