Hi, I noticed an error in the docs here: https://docs.djangoproject.com/en/3.1/ref/forms/fields/#disabled
My question is: should I open a new issue first and then submit a PR, or is it better to submit a PR right away?
The error btw is this. The docs say the following about disabling a field:
Even if a user tampers with the field’s value submitted to the server, it will be ignored in favor of the value from the form’s initial data.
The above is not true. Data of disabled elements is not sent to server during form submission (just spent a couple of hours before I learned about that). I think what the docs mean is “readonly” but there are not options for that.