No objection on my part.
yorik wrote: ↑
Wed Nov 07, 2018 1:00 pm
I would actually even incorporate the list of external workbenches on Workbenches...
The problem is that this would mean having to maintain two separate pages.
I've tried to figure out how to list pages from a category in a separate page (I created Category:Addons for external workbenches). I haven't found how.
Or if we could include the content of a regular page inside another page, like we do for templates... According to MediaWiki help it should be possible, but I haven't succeeded in making it work.