The team wants to know if they can use this on our website :-)

Drop me a line at robert(dot)demmer[at]jetbrains(dot)com if you're willing.