docs: Activate build on docs diff

The sphinx-dev build is a pain to maintain.

Diff should be built to catch errors immediately.

Incidentally, the doc maintenance becomes a shared effort and no longer a pain to keep it green after events.