Remove proper names from material
Ideally we should get rid of all proper names in all the courses. For now I didn't update the graphical illustrations in the remotes
lecture; the machine names from Martijn remain.
Ideally we should get rid of all proper names in all the courses. For now I didn't update the graphical illustrations in the remotes
lecture; the machine names from Martijn remain.