Is linux extramodules dir named most appropriately?

[Genes Lists via arch-general <arch-general@xxxxxxxxxxxxx>]

The linux package creates 2 directories; for example:

   /usr/lib/modules/4.14.13-1-ARCH
   /usr/lib/modules/extramodules-4.14-ARCH

Question - Why is the latter not named extramodules-4.14.13-1-ARCH?

Both are owned by the linux-4.14.13 package - and extramodules-4.14-ARCH 
will also be owned by the next linux-4.14.14 package and so on.

Perhaps it is something to do with 3rd party packages which install 
things in extramodules?


thanks.

gene