I would be grateful for output of terminal command:
sudo kextstat | grep DisplayLink
Thanks for your response. The first link (boot into Recovery mode and run the kextcache) seems to have done the trick. I think this needs to be smoother for the average user, though.