From the same Internet that brought the public Boaty McBoatface comes… Schoolie McSchoolface?

After a school board in Austin, Texas voted to rename Robert E. Lee Elementary School, the district sought community input for the new name, KXAN reported.

The top nomination: Donald J. Trump Elementary (45 nominations).

Other candidates included: Adolph Hitler School for Friendship and Tolerance, Bleeding Heart Liberal Elementary, Boaty McBoatface Elementary School (of course), Hypothetical Perfect Person Memorial Elementary School and Schoolie McSchoolface. Also, Schooly McSchoolerson.

Though the Austin Independent School District asked for recommendations, its board members will have final say on the new name.