Qur’anic manuscripts, past and present: Cataloging and digital tools