Remove old highlight messages checkbox. Fixes #809