Add a comment for get_rotated_vector() function.