Tidied up the help feature, and Ace's CSS and Python builtin names lists.