The Hawking and Penrose singularity theorems in low regularity [extra talk]