The point, I think, is not about fetching the page, but how to navigate it.

I adore using man pages with vim and i would rather have that than a web browser

https://doc.rust-lang.org/cargo/reference/manifest.html

it’s the sixth from the bottom in the table of contents

You can setup a cargo configuration file, in it you put a manifest and define some profiles, and in them define what features you want compiled

I would agree if OP was trying to get a job as a developer, however I don’t think they are.

It’s more like you used a beaker for something and shook it to mix water and salt, it’s not the recommended way, but it’s fine.

You can’t go wrong with Visual Studio Code (AKA VSCode). It’s easy to pick up on, there are some pretty neat extensions and it works for seveal languages.

However there are IDEs specific to some languages, like PyCharm for python. While they usually have some cool features, your child will probably not need to use them.

Good luck :)

NixOS can help you, but only on the way you apply a configuration. I personally just have my own setup file in github.

You are looking for an old style mainframe, NixOS is about configuration and programs installed.

Depending on your need you can achieve what you want with just some ssh connections and stuff, you can even tunnel a graphical interface!

However if you are just looking for file sharing and syncing, you can just make and http or ftp (tho this protocol is not recommended anymore) and access it across several computers.

You can also use auto-sync processes (IIRC “rsync” is one) or just a syncing daemon and a git repo.