Update "Monoids in practice" (completed)