Confusing behaviour of "Framed theorems"

I would like to comment on the behavior of some of the environments such as theorems, exercises, examples, problems, definitions and proofs.

All of these have in their Preferences menu an option “Framed theorems”. This option is however only effective on some of them. Theorems and definitions are framed, but not exercises, examples, problems and proofs.

Furthermore, this behavior has changed since git commit 9ab93fa8aad4fee84d31a1a29d55f4a68a7959a6. Before this proofs and examples were framed as well. See the below screenshot:

I am wondering what the expected behavior is here. I would expect that every environment with the “Framed theorem” option should be framed. Preferably perhaps, there could be options to frame only some of the environments.

I have the below in my pre-amble to have everything framed. Note also that the render-proof macro is slightly altered from the current implementation, as currently, the qed sign ends up outside of the frame.

<assign|tab-qed|<macro|<htab|0.5fn><qed>>>

<assign|render-exercise|<\macro|which|body>
  <render-enunciation|<remark-name|<arg|which><remark-sep>>|<arg|body>>
</macro>>

<assign|render-remark|<\macro|which|body>
  <render-enunciation|<remark-name|<arg|which><remark-sep>>|<arg|body>>
</macro>>

<assign|render-proof|<\macro|which|body>
  <\render-remark|<arg|which>>
    <\surround||<if|<occurs-inside|<quote|<qed>>|body>||<tab-qed>>>
      <arg|body>
    </surround>
  </render-remark>
</macro>>