This is a placeholder for information about the debugger.