def description_with_permitted str
			permitted_s = permitted.map do |p|
				case p
				when $stdout   then '<stdout>'
				when $stdin    then '<stdin>'
				when $stderr   then '<stderr>'
				else
					p.to_s
				end
			end.join(', ')

			permword = str.end_with?('.') ? 'Permitted' : 'permitted'
			return "#{str} (#{permword}: #{permitted_s})"
		end
def description_with_permitted str
			permitted_s = permitted.map do |p|
				case p
				when $stdout   then '<stdout>'
				when $stdin    then '<stdin>'
				when $stderr   then '<stderr>'
				else
					p.to_s
				end
			end.join(', ')

			permword = str.end_with?('.') ? 'Permitted' : 'permitted'
			return "#{str} (#{permword}: #{permitted_s})"
		end
Format the educate-line description including the permitted-value(s)