Can we get the following 2 settings enabled on the Wiki?https://www.mediawiki.org/wiki/Manual:$wgAllowUserCsshttps://www.mediawiki.org/wiki/Manual:$wgAllowUserJs
This would allow users to define their own css/js (that only
applies to them, when they are logged in) to customize the Wiki. I think this would be a nice feature to have (though far from "required" or needed) but it seems easy enough to enable.
Obviously there could be security concerns for a given user. But given the advanced nature of the discussion/topics here, i think its a relative non-issue.