December 27, 2013 at 10:44 am
Post count: 2600
you are right it’s not mentioned in the docs, but it’s mentioned in the theme options right next to the Portfolio slug option:
Change/Rewrite the permalink when you use the permalink type as %postname%. Make sure to regenerate permalinks.