Brilliant! I actually (almost) followed the video when changing the belt but didn’t really pay any further attention to the mechanical switch (nor did I notice it on page 2.25).
But I followed your suggestion and after cleaning the switch properly, everything seems to be working perfectly again.
Thank you, @Guy – and happy new year!