Crypsis: Update html
Merge pull request #2101 from xillibit/k31_bugs3

#2095 Crypsis: add Poll undefined options
Merge pull request #2096 from 810/crypsis-html-1

Crypsis: Update html
#2106 Crypsis and Search : the result is hard to see