Fwiw the mixed content warning is from VideoPress, which is also used in the WordPress.org announcement and also throws the same error. That said, I reported it to the right people and it's likely getting fixed across the board. So while I highly doubt that's what the commenter was referring to, your followup made the web just a bit better, so thanks!