>
>
introduced in july 2019 to fix https://github.com/presscustomizr/customizr/issues/1767 ?>