Add a shortcut for people who are already in Tails

As reported by a digital security trainer, it can be confusing for
people who are already in Tails to be told to open the instructions on
another device and restart Tails.