Do we have to include info about Host (localhost), Password (the one you made when initializing the MariaDB server in the previous step), or Port (3306 by default)?

Match the formatting used on the other lines (values in parentheses).

Should this be "your username" or something similar? Is it clear what "your user" means to a user or can this be clearer?

I'm not asking them for the user though, the socket path needs to look like /Users/jon/.local/share/MariaDB/mysql.sock.

Going to ask for socket path

Ok got it. What about something like this then? Since it's on the same line it's clearer that they're related (the socket path needs to be entered along with checking Use socket)

Also pedantic, but unsure if we should do “Use socket”. vs “Use socket.” I think the correct thing to do is the latter, but it's up to you.

Wait, really? I'm asking because in dev_environment.md we include all those details, and shouldn't the setup be the same? Why wouldn't it be?

I recognize this is copy-pasted, but I noticed two sentences in a row here that start with "After". See inline suggestion

I recognize that this is copy-pasted, but I think it's weird that we're using bullet points here. Can we just combine this sentence with the previous paragraph?

Previously, there was a consistent format here: - Field name (text). Now the format seems inconsistent...

Maybe we should just replace Name (Comm) with a sentence? See the suggested edit

“Use socket”. seems better to me. As the that's how the option is displayed.

The unix socket is convenient because it allows you to use mariadb without having to set up a privileged user. Although I do this for this for the db_config.json anyway, it also allows for me not to have the user copy those details.

I think the unix socket is a better experience for development, so I would rather use it. Both workflows work after mariadb is started with nix develop.