README: a few notes on pushed hype tools