Clarify that the #default_value is passed in the POST for #access = FALSE

In the current Form API reference, at least for Drupal 6, it says the following about #access:

"Whether the element is accessible or not; when FALSE, the element is not rendered and the user submitted value is not taken into consideration."

I learned today that the #default_value that is set programmatically is still taken into consideration for a field where #access is set to FALSE. Could a note to that effect be added to the documentation?