See that doesn't really apply to basic fonts like Times and Arial though. If you we were talking about rare fonts I can understand why you would want to embed them. But with these two all systems will have an equivalent font to render. For instance on Mac it will use Helvetica. On Linux it will probably have Arial or Helvetica depending on user's choice. And this applies for every OS I can think of.

What I'm saying is not that they should ignore user's but that it's probably not an issue in the first place. They use basically boilerplate Serif and Sans-Serif fonts.