More deprettification. Not pretty_move and pretty_history, just move and history.
-rw-r--r-- 133 .gitignore
-rw-r--r-- 14251 Board.pm
-rw-r--r-- 1183 Engine.pm
-rw-r--r-- 8394 Position.pm
-rw-r--r-- 1087 bench.pl
-rw-r--r-- 20485 booklook.c
-rwxr-xr-x 679 build.sh
-rw-r--r-- 2757 config.pm
-rw-r--r-- 2261 default.vcl
drwxr-xr-x - externs
-rw-r--r-- 24430 pv-benchmark.txt
-rwxr-xr-x 39882 remoteglot.pl
-rw-r--r-- 602 remoteglot.sql
drwxr-xr-x - server
-rw-r--r-- 867 upgrade.sql
drwxr-xr-x - www