RelVal: help screen invoked explicitly