I see where the favicon.ico file is, but I doubt replacing it in the original Vantage theme with my own file is a future-proof solution. The next theme update would restore the default Vantage...