openid-jquery.js: revert the renames for now.