Ask HN: Is there a synonym search for programmers?

I was wondering if there was something akin to a synonym search engine for programming terms?

For example, I'd type in "options" and the results would be: "settings", "configuration", "preferences", etc ...