Regarding the word count problem

Hi there.

The current JavaScript code for counting words in editor ignores Chinese characters, so I am working on a patch which I intend to ship with future cn.wordpress.org packages.

It seems that the easiest fix is to enqueue a modified wp-admin/js/word-count.js. Is it okay to put a modified version under the corresponding SVN dist/ directory, and get the original word-count.js replaced, OR I have to put it under wp-content/languages/ and play around with the hook to make it be queued to load?

Thank you.