request for feature: search planet Posted on Wednesday, November 6, 2019 any way we can get in one of the upcoming updates a planet name search feature? it would come in handy in many ways.