#ajax 'options' property is undocumented