Fixed a bunch of bookmark naming issues in the dev shipments guide.