Meanwhile, in a large skillet over high heat, brown the beef in the remaining butter (see note). Season with salt and pepper. Add the onion and cook for another 2 minutes. Deglaze the skillet with the wine. Transfer to the pressure cooker. Add the remaining ingredients. Mix until everything is well combined. Season with salt and pepper. Cover and select the Meat function. Set the machine to cook for 35 minutes.