Don't use microtype by default; I'll make it an option