Revert "Merge pull request #2 from Shark64/microtype"

This reverts commit 3ce7c27822ed03e6b1bec2bb74d8d0614c971754, reversing
changes made to 927c0d21cca657cf311d9419d822b5641f77f507.

keep microtype in a separate branch