https://joewilcox.com/2016/06/23/sdcc-2016-badge-changes/