dump.sh: sort node name, and update page content