Do we have any recommendation of programming language for scripts such as WebKitTools/Scripts?It seems new scripts are written by Python and Ruby code is very rare.Is it reasonable to port a Ruby script to Python?I tried to port PrettyPatch.rb to Python in https://bugs.webkit.org/show_bug.cgi?id=43617 in order to remove Ruby dependency for many developers and buildbots. However bdash objected it.