What's with the synthesis strategy renaissance going on at the moment? It was a barely-used feature and suddenly all my GitHub notifications are about them