Add intro docs back to contents (@jerith).