@Taifun Ok, thanks for the hint. I never needed the documentation for your Player ext. or the Player component (as they are self-explanatory) and therefore I probably didn't pay attention to it.
The // is only mentioned in connection with the File component in the AI2 documentation.
There is nowhere such a hint for the mentioned Media components (player, sound, video player). In addition, I have never seen any aia using this path in all the years.
As I said the //
is only needed for the File component and seems to me to make little sense in your extension, especially since these slashes are not needed at all.