Comment on #ajax 'options' property is undocumented