#243: form_validation.js, remove file