Gators head coach may or may not still be there next season.