Merge branch 'release/0.12.2'
Merge branch 'release/0.13.0'
Merge branch 'release/0.14.0'
Merge branch 'release/0.14.1'
Merge branch 'master' of https://github.com/mangalam-research/salve
Added a clarification.
Version bump.
Merge branch 'release/0.14.2'