P4
Reported by Mark at https://mail.openjdk.java.net/pipermail/skara-dev/2022-April/005961.html :
People most commonly refer to JEPs by JEP numbers rather than JBS issue
numbers. I’d therefore expect to be able to type `/jep 123` rather than
have to remember to type `/jep JEP-123`, especially since the `JEP-123`
notation isn’t used in any other context.
Can you please remove the need to type the `JEP-` prefix?
People most commonly refer to JEPs by JEP numbers rather than JBS issue
numbers. I’d therefore expect to be able to type `/jep 123` rather than
have to remember to type `/jep JEP-123`, especially since the `JEP-123`
notation isn’t used in any other context.
Can you please remove the need to type the `JEP-` prefix?
