Can someone help review the PR? And please leave comments if you have concern on removing the support of HAVING

Do we know for sure that this is not being used at all (say for example with single aggregation groups)?

That's one reason why I posted it here, and AFAIK, no. Also, HAVING is not supported officially