6,140 model-checking "https:" positions