redirect virtual repos overview pages to external repos as well, fixes #14