@ivan @dajb That's an interesting feature but indeed is confusing when the user interface looks like something could be changed. I ran into this misunderstanding with "pages". For users that cannot change settings a more tabular display would be better, perhaps like Mediawiki lists installed extensions?