Are any of the RedHat certifications (https://www.redhat.com/en/services/certifications) worth taking given that I have access to them through my employer? What is the quality like? Do any of them particularly stand out? Have you experienced any career benefit from taking them?