The documentation for the del keyword in the language reference doesn't mention the name binding behaviour:

https://docs.python.org/3/reference/simple_stmts.html#grammar-token-del_stmt

It is mentioned in section 4.1 where it says: 

"A target occurring in a del statement is also considered bound for this purpose"

But it's really not obvious to look there when trying to understand what del does.

It would be great if this information were added or a reference made to the other section.