nvda

Add-ons manager: It is now possible to disable individual add-ons. re #3090

#6079

Merged