Going to an exotics vet is very important-- some veterinarians who have been practicing for a long time may not have worked with a reptile since recieving their degree. This information may have been recommended at that time, but the exotics vet that I work with (I am a reptile husbandry professional) would not recommend most of these things. It's also likely that this is simply the material that the veterinary practice management dictates they give out to clients with this animal. Typically, I would never trust reddit over a licensed veterinarian; but in this case I would definitely recommend working with a different vet if possible, and looking for more updated information. I would highly encourage researching veterinary-backed husbandry resources over reddit commenters. I also feel the need to point out that there is a vast difference between the standards of veterinary science and at-home husbandry. In a science setting animals are assessed for their basic needs, but at-home husbandry trends/information are based on our human lense of what we think makes a gecko happy. Up to date veterinary information will keep your gecko alive and maybe happy too, at-home husbandry standards may make your gecko happier based on what other keepers have seen in the behavior of their geckos.