In the meantime, heat the oil in a large saucepan with a lid and add the onions, sea salt, thyme and garlic. Sweat on a medium heat (you want them to just cook, not colour too much) for about 10 minutes while you prepare the peppers. Cut the peppers in half, remove the stalk and seeds and finely slice into strips. Add to the saucepan. Cut the tomatoes into small pieces and add to the saucepan with a pinch of sugar, the paprika and vinegar. Place the lid on the pan and cook on a medium-to-low heat for a further 10 minutes. Adjust the seasoning to taste. Remove the thyme. Roughly tear the basil and add to the sauce.