Adding files from the ReCAPTCHA extension, with minor modifications