Updates the documentation about bef.options()