This extension enables a user to choose highlight colors (green/yellow/orange/red) for keywords of their choice.
