The ghc-hxt-charproperties project's README file is empty or unavailable.