Tell us about HotFixes
I have just experienced Issue 7471 - fixed with a HotFix in May 2018 - but the search facilities on the known issues database were not adequate enough for me to find the issue resolution before I had to (a) log the incident, (b) wait for an update...