... so that hopefully it won't be "cleaned up" and needlessly diverge
from any hypothetical future upstream.

Change-Id: I10503072f618ac6b74bc52d4d59c0d8951bd8d0d
Reviewed-on: https://gerrit.libreoffice.org/23075Reviewed-by: David Ostrovsky <david@ostrovsky.org>
Tested-by: Jenkins <ci@libreoffice.org>
Reviewed-by: Michael Stahl <mstahl@redhat.com>