Given this uptake, I will prepare a patch declaring end of support for PPC
in the changes file explaining that most likely this will at first affect
the GUI. This patch will address the last release-critical bug for which
we have no fix in progress, turning it into a normal bug.