6719c00f8a
Positioning actors at non-integer positions produces bad looking text. Therefore, do centering as x + round((a-b)/2) rather than x + (a-b)/2. (This does mean that centering will be less accurate if an actor is scaled up by a lot, but it's pretty reasonable to assume that scaling only occurs during an effect and static displays are unscaled.)
The file is empty.