What do you think about it?
I like it. Tidies up the left menu on the crystal-book website a bit as well.
I’d like to comment on debian section, these are no big deal, just for your information.
curl -sL "https://keybase.io/crystal/pgp_keys.asc" | sudo apt-key add -
it’s better to use
sudo apt-get update
apt later, but
echo "deb https://dist.crystal-lang.org/apt crystal main" | sudo tee /etc/apt/sources.list.d/crystal.list
- there may already be this file, in which case it’s going to be overwritten
- https is problematic: it’s not installed in the base system and it doesn’t offer any benefit because of the way