Manual: Fix some links