Explain that the code in "unicode.rs" was generated by "src/etc/unicode.py"