SeleniumIDE export

Be sure that the exported files are ISO-8859-1 encoded, otherwise problems with special characters (like German umlauts) can occur.