Fix height of permissions-modal body

did not take scrolling of page into account
[Fix #49123259]
Fix display icon for empty extension

[Fix #47259943]
Fix Splashscreen; splashscreenset can be filter set

make MediaSet and FilterSet derive from common ancestor
MediaResourceCollection so it is clear that each should implement
included_resources_accessible_by_user