v1.4.1: Tom (patch 1)

Changelog

Features

• Support most of the GGF Extensions (#141)

Tooling

• Exit successfully when no docs change (#136, #145)

Documentation

• Fix typo in Name documentation (#138)

N.B.: Due to a tooling failure, there is no official 1.4.0. Please use this release instead.