@AlexanderVanhee@mastodon.social how would making a portal to install extensions made them smaller tho?