Infoview no longer shows `*ᵥ`

Stream: mathlib4

[Martin Dvořák]

import Mathlib.LinearAlgebra.Matrix.DotProduct
open Matrix

example (A : Matrix (Fin 3) (Fin 2) ℚ) (v : Fin 2 → ℚ) : A *ᵥ v = A *ᵥ v := by
  rfl

After switching to a new version, Infoview no longer shows *ᵥ for Matrix.mulVec — what happened?

[Ruben Van de Velde]

I think that's the dot notation issues that will be fixed in v4.8.0-rc2

[Martin Dvořák]

Yes, it has been fixed. Thanks!