I said no more article_id column!
remove useless _id column for redirects
rename to COPYING
rename to COPYING
error code more explicit
Remove tools, move to new repo