$ 0 0 A sizeable update to the (really rather indispensable, imho) Extension Manager app is rolling out on Flathub