[tor-commits] [check/master] User manual link was removed in 513656e