+1
My team is using Amazon Elastic Beanstalk (I know..) and I wish "eb" get expanded to that. Without that I get irrelevant results. Perhaps the UI should behave similarly to query autocorrecting and show "Showing result for "Elastic Beanstalk ..." from your synonym preferences, search instead for "eb ..." instead"
An additional idea is perhaps the synonym could have been set to have smaller boost (or behave as if their sites ranking are lowered). This could help when you search "EKS" and you want "Kube" "K8S" "Kubernetes" or "OpenShift" result as well since it might also be applicable, but a direct "EKS" result would be much better.