4.0.1

Patch build including some fixes like:

• Fixing redirection to Wiki with GET requests to /
• Turning the search for keywords case insensitive in the db

and other minor fixes.