New comment by dmarto on void-packages repository

https://github.com/void-linux/void-packages/pull/39688#issuecomment-1266276633

Comment:
And to help with that, here is some history context:

Started as `plugdev`
Got changed to `users` in #4605
~~Got~~ Attempted change~~d~~ back to `plugdev`, but was left as `user` in #13914
~~Got changed back to `users` in #25646 (it may have been a mistake, as it is not mentioned anywhere?)~~

This PR.  

Honestly, I would be happy with an INSTALL message that mention this anachronism.