Hm... true. But then again I don't think there is a way deprecate this. So the only way to ever change it is by taking the risk of breaking something.

Well, at least this PR would make it possible to override just the **views/default/page/elements/body/default.php** instead of the whole **views/default/page/default.php**.