Changes in the search functionality and upgrades in the near future
I added an extension to include google search results on top of the normal wiki search results. Let's see if this works better.
I probably will upgrade the wiki around mid-august to version 1.31 That will mean some downtime (on and off during a day or two).
Finally, this summer I also will try to upgrade some of the more "classic" topics in educational technology (I promised to revise the study book on EdTech I made for Hagen University and will use the wiki to collect some information first).