Hold on to the `gtk_doc` build option, as a deprecated synonym for the new gi-docgen `documentation` option.