michael@0: Instructions for using these tools are on the Mozilla Wiki.
michael@0: 
michael@0: https://wiki.mozilla.org/I18n:Updating_Unicode_version