If you help him build a node with raspibolt he will learn much more, and learn how to fix things when there are problems. Plus it will made him practically a sysadmin. I would also recommend a yunohost server, making your own Google is amazing for kids. You can make it on a raspberry pi 3 or 4 depending on the services running.