@demarle please merge and create a tag, equivalent to: git tag -a "v1.0_1.4" -m "spec v1.0 doc version 1.4"