Hi all
I have written a small script that pulls the content of the toolserver home page http://toolserver.org/ from our wiki. It's not live yet, but you can test it at http://toolserver.org/newindex.php. The page's content is maintained on https://wiki.toolserver.org/view/Toolserver:Homepage which can be edited by admins. I hope this will make it easier to maintain the home page's content.
I think the same system can be applied to other pages we might want to maintain in the wiki but present independantly.
Any comments and ideas are welcome, of course.
-- daniel