Luca

This seems to happen with other links, too. In the settings tab, 'public gateway' has the same behavior. 

This seems to happen with other links, too. In the settings tab, 'public gateway' has the same behavior. 

@surma Would you still be interested in adding more bananas? I just found this, and I have some free time.

I've had some more time to look at it, I see that the highlighting comes from keywords.txt, which gets updated periodically. So just adding this doclet be sufficient?