Update: Turns out GP simply replied to the wrong thread, so it was just a typical case of "downvoting takes less effort than pointing out a mistake", I suppose.