Added archive redirection for /int/.