Merge pull request #4413 from Armada651/readable-driver-details DriverDetails: Make the bug identifiers humanly readable.
