[This is the permanent, version independent DOI, always referring to the latest release. Note that minor (cosmetic) updates on GitHub don't give rise to a new release; if you want the latest update, ...