Revenue Recognition (Payment Terms) (Details)	6 Months Ended	9 Months Ended
	Aug. 07, 2020	Oct. 31, 2020
Minimum
Disaggregation of Revenue [Line Items]
Subscription payment terms (in days)		30 days
EBA payment terms (in days)		30 days
Maximum
Disaggregation of Revenue [Line Items]
Subscription payment terms (in days)	60 days	45 days
EBA payment terms (in days)		60 days