Rename partitionsto integer-partitions The outcome of Revisiting the "partitions" tag was the splitting of partitions by the creation of new tags set-partition and partitions-for-integration. The question also proposed that partitions be renamed to integer-partitions, and the consensus (and only...