[valvar]

I took that course in 2015 or 2016, so yeah, I guess that's about a decade in which he could have added it. I just browsed around Chalmers' course pages and am very happy to see that he's still teaching that course.