A correspondant kindly drew my attention to an online resource for Islamic manuscripts. The address is here:
The site includes all five volumes of Graf’s GCAL. It may be 60 years old but it is still the only handbook of Christian Arabic literature.
The site also has a vast array of manuscript-related catalogues and resources.