Resolved in [edee874].