Fixed dead links.

Some links were dead in the shell introduction file. This should fix them.