Does that mean they are finally renouncing the use of in-proxies like onion.to and onion.sh, since it exposes their users to the same risk of having their account credentials sniffed, or LE putting a box in front of those servers and logging everyone that accesses their market?