waiting for agreement with ggplot2 devs about theme_animint