Stamp duty holiday extension – what can buyers and sellers do in the meantime?