Use -prerelease for navbar ddoc instead of hardcoded version.