I've been following Let's Encrypt since 2014 and I am certain they had trademarked the name long before these Comodo applications were filed.