Home county: Options for taxing main residence capital gains