This was manual exposure. In the two shots I posted above, I did not do any exposure compensation. Both are at ISO 1600, f8, and 1/50. I also did the test compensating for exposure, and the same clipping occurred at the same point.
I actually did a series of tests last weekend, both adjusting the ISO to compensate for the decreased brightness and not compensating, trying it with the RGB sliders at 0.5, 1, and 1.99. Everything was manual exposure.
It was apparent to me that by setting the sliders to 1.99, you do get increased dynamic range and detail (at least at ISO 1600 and compensating to 800.) Based on a few other posts, this may not be true at lower ISO values (e.g. 400, compensating down to 200). The following shot is at ISO 1600, RGB sliders at 1.0 (the same one from above). This time, both images are at a 100% crop to show details.
This one is ISO 800, RGB sliders at 1.99. Notice how the yellow text on the book is no longer blown out, without a significant difference to the overall exposure. You can even see a teeny bit more of the metal in front of the light bulb. Furthermore, there is much more detail. Try saving both images and flipping between them quickly in your photo viewer. The text is sharper, the noise is sharper--overall simply a better image.