Actually, never mind – I have just figured out how to add a portfolio page (with the portfolio page template) rather than accessing it via a category. It would be useful if this was in the documentation.
