def description_with_default str
			default_s = case default
									when $stdout   then '<stdout>'
									when $stdin    then '<stdin>'
									when $stderr   then '<stderr>'
									when Array
										default.join(', ')
									else
										default.to_s
									end
			defword = str.end_with?('.') ? 'Default' : 'default'
			return "#{str} (#{defword}: #{default_s})"
		end
def description_with_default str
			default_s = case default
									when $stdout   then '<stdout>'
									when $stdin    then '<stdin>'
									when $stderr   then '<stderr>'
									when Array
										default.join(', ')
									else
										default.to_s
									end
			defword = str.end_with?('.') ? 'Default' : 'default'
			return "#{str} (#{defword}: #{default_s})"
		end
Format the educate-line description including the default-value(s)