Rename performed in !131 (merged) was on drop_insert, not drop_length
drop_insert
drop_length
oops indeed... not sure how that happened
merged
mentioned in commit 3ee6f2e4