How is it possible that the links in this post were not converted to https by the automated process? (The post was bumped recently, so I have edited them manually.)