Comment by Cherry on Minh I.

@Minh I.   I think Ravi, is just a nickname for Ravianto make the name shorter I'm not sure.