And for the record, here are the same with a vector font: