On Tue, May 11, 2021 at 02:31:38PM +0000, David Laight wrote:

Actually, for the use case, the id could be trimmed significantly.
It is only trying to differentiate between builds of a specific module.
So even 8 digits would be plenty.

asked and answered.  please review the bidding.