A few minutes ago I noticed a problem with the navigation on the site, the button “Publications” was linking to “/portfolio.php” on most pages in the site. This button should have been linking to “/publications.php”.
I don’t know how this happened, but the longest time it could possibly have been this was is a few days.
This has now been fixed.