You're right: http://plugins.jetbrains.com/plugin/?id=7007 http://plugins.jetbrains.com/plugin/?id=7007 It must have been just over a year ago I last checked,

You're right: http://plugins.jetbrains.com/plugin/?id=7007 http://plugins.jetbrains.com/plugin/?id=7007 It must have been just over a year ago I last checked, and it looks like it's been available since last July!