The commit caused problems and is not important, so I will revert it at least temporarily.

This reverts commit 7c98d9abde518339d0313654c5cd19fdad3532e1.