Any reason to prefer the double quote before ```$HOME```? I have no preference, but it would be nice to make it consistent with the instructions for the 2.9x version (quotes after ```$HOME```)