Are these comments up-to-date? We should remove them and either deprecate IE7 or switch to http URLs.