Here go the plugins for the interactive debugger.