Talk:Habitability of F-type main-sequence star systems