web: use https for forgotten trac wiki links