rem: display (MSG_TIP_HELP); 
add: display (MSG_TIP1_HELP); display (MSG_TIP2_HELP); 
context: function cmdCommands (e){    display (MSG_TIP_HELP);    var names = console.commandManager.listNames(e.pattern, CMD_CONSOLE);    names = names.join(MSG_COMMASP);        if (e.pattern)        display (getMsg(MSN_CMDMATCH, [e.pattern, "["  + names + "]"]));    else        display (getMsg(MSN_CMDMATCH_ALL, "[" + names + "]"));    return true;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/c253059afafb09ee6b27e3767bb1e487e050ba0f/venkman-commands.js/clean/extensions/venkman/resources/content/venkman-commands.js