Added an infralib description.