Lec 8: A few more notes about devtools