[arch-general] Is linux extramodules dir named most appropriately?

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