OO-533: small fix, better update of the GUI after list rename, delete, item delete...
Merge with 38285a5c92ef641da186624935fc23868c14009f
OO-535: ensure that the spell checker not grow over time
OO-653: added more HTML tags.