@pauleveritt @jedi Paul is head of Developer Relations at JetBrains, so he's as official as it gets. :P