Hacker News Reader

HardenedBSD no longer uses LibreSSL, they switched back to OpenSSL in April.

HardenedBSD still uses LibreSSL in base. The switch back to OpenSSL will be on 01 July 2018, as mentioned in the article you linked to.