src/org/jetbrains/plugins/ipnb/IpnbUtils.java (1 line):
	- line 36: //TODO: jump to the section (see User Interface#Utilities)


src/org/jetbrains/plugins/ipnb/protocol/IpnbConnectionListener.java (1 line):
	- line 7: * TODO: Expose execution counter via API