I did try without HTTPS, and even without GZIP.
Not for a week, but enough to test the 'fetch as Google' option in the Google webmaster tools.
I've also read that Googlebot shouldn't have any problems with HTTPS.
I've also read that Googlebot shouldn't have any problems with HTTPS.
I hope this will be fixed soon, I would prefer to force HTTPS everywhere.
Anyhow, thank you very much, at least now the bot will be able to crawl my site!