Você pode encontrar os arquivos HTML em /usr/share/doc/libgtk-3-doc/gtk3
. Uma lista completa de todos os arquivos que vêm com o pacote libgtk-3-doc que você pode obter executando este comando:
dpkg -L libgtk-3-doc
em um terminal virtual ou em uma janela de terminal.