A catalogue of manuscripts known to contain old English dry-point glosses