demo: move dictdump.php to where it belongs