I think I said it elsewhere a few times, but I believe we have way too
many kinds of buttons. We should definitely consolidate "constructive"
and "progressive", especially since judging by this email thread, nobody
really knows what exactly the difference is supposed to be.
--
Bartosz Dziewoński