File talk:Flag of the Republic of Texas (1835-1839).svg