Found it merged as 79510f5e6295342f864d21b38869d215ac99a213. Thanks for the merge, Liliana!