…
..
how-to-create-firefox-profile.txt
ide-extensions.js
selenium-ide-1.0.5.xpi
selenium-server.jar
user-extensions.js