remove useless Categories extension
fix generic warning in WokoFormatter