[hobbit] Small enhancement to Hobbit JavaScript menu