Update htmlSnippet's toolitp, fixes #4638