Leases - Lease Expense (Details) $ in Thousands	9 Months Ended
	Oct. 31, 2020 USD ($)
Operating leases:
Operating lease cost	$ 1,300
Variable lease cost	191
Total operating lease cost	1,491
Finance leases:
Amortization of right-of-use assets	2,278
Interest on lease liabilities	236
Total finance lease cost	$ 2,514