add a new editor preference
remove dep to internal interface
annotation hover for TODOs