flush-repeated-blank-lines