al-Mubdiʿ šarḥ al-Muqniʿ - Ibn-Mufliḥ, Ibrāhīm Ibn-Muḥammad 1412-1479 (Dār Rakāʾiz li-n-Našr wa-'t-Tauwzīʿ, 2021)