5G service just got faster for some people. Here’s why. (Washington Post)