Merge "Remove unused `extensions_info_file` property from framework-doc-stubs" into main