Remove `curry` from the documentation: it's deprecated, so we don't want encourage its use; we keep the alias only in the rare case someone else uses it in some add-on, in order to don't break anything.