Remove old documentation for tactics that don't exist anymore.