The course website mentions that the lectures may be recorded. Do you know the probability that this will happen, and if so, will they be posted for the public (this semester)?