Re: [ET Trac] [Einstein Toolkit] #120: Improve built-in help system