Wishing them luck! Program synthesis is great, it should be even more popular!