RewriteRule ^([0-9]+)/tool/([^/]+)/(.+)$ tool.php?id=$1&tool=$2&file=$3
RewriteRule ^fork-remote$ fork-remote.php
+RewriteRule ^help$ help.php
RewriteRule ^new$ new.php
RewriteRule ^feed/new$ feed-new.php
RewriteRule ^search/([0-9]+)$ search.php?page=$1
RewriteRule ^login$ login.php
+RewriteRule ^setup$ setup.php
RewriteRule ^user$ user.php