Yup. The content for these translation files is now bundled inside the concatenated jquery.wymeditor.js file, so they don't need to be included separately.