Arduino R4 wifi sketch is not compiling

Official Hardware Kits Plug and Make Kit
14

Thank you, mirkocurtolo.

It compiled for me.
Would you like to retry now, @d2v5d .