Astronomers in general consider being at the bottom of an ocean of air a major nuisance.