Maniri, Sharaf al-Din Ahmad ibn Yahya, -1380?