Jay:
One of the more minor irritations with WP 13 (and 11) is that if you don't use the default WPD extension, the user can't use the font embedding option.
In more than 20 years of WP, I've never used the WPD extension but rather the PERIOD/DOT as the extension. I would like to see the font embedding option more flexible by letting us choose any extension and not hardcode the WPD one.
Thanks
xavier