use GET method for ajax-based searching
small syntax parsing improvement
tiny warning fix
trying to prevent ConcurrentModificationException (just like in languagetool-server)
link user profiles on statistics page
don't assign properties to params, it's potentially insecure
improve wording
improve substring search (still sometimes misses matches)
association statistics: don't count deleted synsets
decrease the max substring matches again - the increase made the search noticeably slower
opacity effect for deleted/hidden synsets
tiny layout improvements
whitespace cleanup only (tabs -> spaces)
small code cleanup
start using CSS media queries for better support on small displays
fix call to createLinkTo()
make the search popup size depend on the available width
update version for deployment