Updated notes about pragma options.