On Mon, Mar 31, 2025 at 9:42 AM Renan Alves Fonseca <renanfonseca(at)gmail(dot)com>
wrote:
> 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."
David J.