Add a toggle for antialiasing, and make the metrics hinting turn on rounding of positions, to match what we do with settings now.
Add a toggle for antialiasing, and make the metrics hinting turn on rounding of positions, to match what we do with settings now.