UPDATE: Aggressive-indent just got better!