doc/README
doc/INSTALL
doc/push_tokens.sql