When AVG first points out a virus of some type you know the location for manual deletion on the spot. That would be the advice for any more that come along. Once in the vault it's simply a browse into the folder and manual deletion to see that gone if AVG won't delete it for some reason. In a virus vault the infected file is compressed into an archive similar to a rar or zip file there.