Can you move any bookmarks, or pointers in your own pages, to point the new location?
The new page doesn’t show up anywhere on Google searches yet. I’m not even sure whether Google even indexes it. (It’s hosted on GitHub pages.) If anyone can give me advice on how to make sure it is indexed, I’d love to hear from you. I have not the foggiest idea.
o_0 …that’s odd. I more-or-less understand not copying across what you published or co-authored while you were there, but as for the publications you wrote yourself before being employed there - are they no longer yours?
It is not showing in “simon peyton jones” google results yet for me. I would recommend signing in at https://search.google.com/search-console/about and following whatever instructions they give, then you will have excellent awareness/control of its indexing/SEO status now and in future. (Did this recently myself.)