docs: def inMicrolensRegion_main(args=None):
      """Exposes K2visible to the command line."""
      import argparse
      parser = argparse.ArgumentParser(
                      description="Check if a celestial coordinate is "
                                  "inside the K2C9 microlensing superstamp.")
      parser.add_argument('ra', nargs=1, type=float,
                          help="Right Ascension in decimal degrees (J2000).")
      parser.add_argument('dec', nargs=1, type=float,
                          help="Declination in decimal degrees (J2000).")
      args = parser.parse_args(args)
      if inMicrolensRegion(args.ra[0], args.dec[0]):
          print("Yes! The coordinate is inside the K2C9 superstamp.")
      else:
          print("Sorry, the coordinate is NOT inside the K2C9 superstamp.")