  We prove a few new cases of the Sato-Tate conjecture for abelian surfaces,
using a new automorphy theorem of Allen et al. Then in the unproven cases, we
use partial results to describe nontrivial asymptotics on the trace of
Frobenius, and prove their optimality given current knowledge.
