A short history of portal hypertension and of its management