Fix IRC links in page header

Signed-off-by: Thomas Schneider <thosch97@gmail.com>