I'm not sure if we should mention the fix or if we should mention a workaround...
Workarounds are ok but my observation is that "this may change in the future" comments are pointless and should be stricken from the manual because people are bad at predicting the future. Just document what is and don't string people along. We never go back to old releases and say "This was fixed in v17."