Thank you David for pointing this out. I had to skim through the lectures pretty quickly, and had forgotten where this was mentioned. Unfortunately I haven’t had time to dig into the resource pages, either.
Appreciate the replies.