gtk-doc documentation is technically a functional interface (Policy §12.3), because other packages can build-depend on it and use it to fix cross-references.
