Huge thanks.
But this makes Gboard flip out and annoy you every 10 sec to update Play services, otherwise it won't work. No way to kill this one. (Yes, I like Gboard better than the pre-installed Swype, which I can't uninstall either...) So I'm trying with an older apk for Play now.
(So yes...