Build GitHub pages on tagged commits or manual triggers only

[jdemaeyer]

Otherwise we'll push docs for new features before the feature is actually available

[jdemaeyer]

This is currently not easily configurable for the "repository settings" GitHub pages publishing that we use, and setting up a GitHub Action doesn't seem worth it for now since we usually keep the public instance in-sync with the repository.