If you modify it, it will be a custom private extension. As the modified extension are not available for others.
I m not sure but I guess that can create problems later on.
Custom extensions are allowed if they were made during the jam.
As Wesley said, custom extensions are allowed if they were made during the jam.
Thank you very much for the clarification
No problem!
