Feedback needed re: Sony DSC-RX100 |V LensFun profile.

The profile’s correctness has been questioned here. I suspect the issue is actually related to either copy variation or incorrect use of the profile, but can’t test without the camera. If anyone who does own this camera can give feedback one way or another (preferably on the linked github commit, otherwise here is fine) that would be really helpful. Thanks!