Instant Pot Chili Con Carne

Name: Instant Pot Chili Con Carne
Ingredients: Salt and pepper, for seasoning meat; 2 teaspoons kosher salt, plus more to taste; 2 tablespoons butter; 2 pounds beef chuck, cut into roughly 1-inch cubes; 1 cup minced shallots, plus more for topping (from about 3 to 6 shallots, depending on size); 1/2 cup diced jalapeño (from about 2 medium jalapeños); 2 tablespoons achiote rojo paste (like El Mexicano brand); 2 tablespoons tomato paste (preferably double concentrated); 3/4 cup water; 2 cups canned crushed tomatoes; 2 tablespoons lime juice, plus more as needed; 1 tablespoon packed brown sugar; 3/4 cup dried kidney beans, soaked for about 4 hours, then rinsed