I was thumbing through one of the hiking books that the late Bishop of Ft. Worth (Joseph Delaney) owned. It turns out that he was quite an avid Texas hiker! On one of the maps in a 1973 Hiking Texas book, it lists Mt. Pratt as "Peoples Peak". I'll see if I can get a scan of the page and send it to you. Curious!