[tor-commits] [manual/develop] Updating the 'Known Issues' page