Because before thinking about it, I wanted to get clarification if there was a problem uploading the plugin to the directory even though it was already present on the WP repository. I had asked some time ago, but no one had responded. Now that you ask, itβs evidently possible. If so, I will upload it as soon as I have a better look at the procedure. Thank you.