Please forgive my ignorance, but what, exactly is Astro? My Googling turned up Astro Aviation, but that appears to be a contract pilot outfit. In reading the above post, it seems that Astro might be some sort of crew/aircraft schedule optimization application. Am I right?