Informed sources seem to prefer Crivelli to Crivello. He's also quite known by the toponymic surname Bergamasco. Which one should we use here at CPDL? —Carlos (talk) 14:01, 8 December 2020 (UTC)