HMAC-SHA1 is not broken as a pseudorandom function. SHA1 is only broken for collision-resistance for the moment. That doesn't mean it's great, or that you shouldn't upgrade.
But has anyone actually reaserached this? For all we know, using hma-sha256 in TOTP may actually make it less secure.
Passenger jets can fly with duct tape on their wings