Technical updates

Hi all! We received quite some complaints from users lately that the site was very slow. In order to fix this we just placed an extra search server and upgraded an existing webserver (apparently, one of its hard drives died, so read/write operations were very slow). As a result, everything should run smoother than ever now! In the case that you spot some bugs or performance issues, please let us know. Cya! Update Oct 2: We added 2G RAM to one of the search servers, this should improve the overall site performance.