The following discussion from !3142 (merged) should be addressed:
@cacochat started a discussion: (+1 comment)
@gunther or @yitang could we proceed by merging this?