Community-contributed extensions can be installed from the Community Extensions repository since summer 2024. Please visit the “Community Extensions” section of the documentation for more details.