fixbullets: Repairs formatting of bulleted lists with variable item spacing.
Post: Agda: First Impressions