EXTRA_DIST= README.config README.enhancing README.symbols HOWTO.transition HOWTO.testing