6,226 model-checking "https:" positions