Splitting/knifing intersecting polygons?

How do you properly intersect polygons in Blender, so that the faces in front/behind the intersection can be deleted?

Another way to ask is perhaps, how do I create a new edge along the intersection line of two polygons?

Bit of a hidden option, but apparently this works:

GIF 29.01.2020 11-15-25