no-stdin is also an option one could use and described in the spec, correct?