An IntelliJ IDEA plugin to navigate between events posted by Otto.