Author should've mentioned how the first image "as my camera’s sensor sees it" was obtained.
They did:
> Sensor data with the 14 bit ADC values mapped to 0-255 RGB.
probably from the raw file?
They did:
> Sensor data with the 14 bit ADC values mapped to 0-255 RGB.