Removing text bugs database (use GitHub from now on).