Recruiting Insider: Gators is still prioritizing Texas DL commit