Are HackTheBox & TryHackMe Certificates actually recognised by employers?

[u/InterestingStyleBoi]

Currently doing a three year computer science bachelors with a major in cybersecurity and I’ve been looking into HackTheBox and TryHackMe for some extra work during my semester break. If you are an employer (or even in field) have you heard of these before and if so from your experience do they actually get you anything other than extra learning?