Document that ncgen input can come from stdin