020_The_necessary_tools.md: fix path for fonts
The original path was malformed as the username part looked like HTML. Nonetheless, the following line had different version of the same path so I changed the original one to that version (it’s also more consistent now).