* remove WINDOW_SIZE, use window.window_size() * move ledger tail, redundant with ledger-based repair