Added '/' after all redirect links,

because otherwise it seems that the GitHub pages server somehow interprets
a '%23' as a '#' (local anchor), which results in a 404.