These files are taken from a custom branch of selenium that is available here, with modifications to work with Firefox's Social API: https://github.com/mixedpuppy/selenium See the COPYING file for license information.