Add missing FFI docs (#8407)