See iris/stdpp!459 (comment 96622)

This style point came up in the feedback on #923, where a lack of
explicit branching in a pattern made a proof more confusing.

I've also moved another pattern-based style point into the newly-created
section just to take advantage of the increased organisation.

This reverts merge request !881

see https://github.com/tonsky/FiraCode/wiki/VS-Code-Instructions