Modern fonts, particularly at least OpenType, can embed different information for different sizes pretty easily. If this problem could be solved by using a more

Modern fonts, particularly at least OpenType, can embed different information for different sizes pretty easily. If this problem could be solved by using a more modern font format and better quality fonts, that seems like a better approach.