Fix sidebar contents under Extensions#729

rgommers merged 1 commit intodata-apis:maindata-apis/array-api:mainfrom

rgommers:fix-extensions-sidebsrrgommers/array-api:fix-extensions-sidebsrCopy head branch name to clipboard