I think thats implied. Https practically to users (and many clients and servers) is no different than http, even though they're very different in implementation.