Default document fix

Also switching to https, so I don't have to keep manually making that
change when publishing. This is the version published 7/23/2014.