Closing the digital lab on Thursdays 16--18

Hi all,
There's hardly been anyone who has been going to the digital lab session on Thursdays 16--18. (This is not necessarily a bad thing -- if you can join a physical lab session, you should!) So we're closing that lab session for now. We can however restart it at some later point, if it seems useful.