Text this: Angle Between Two Vectors over Finite Fields and an Application to Projective Unique Decoding