Some pages appear to be discontinued, still search able, have Mixed Content

From: Bryan Quigley <gquigs gmail com>
To: gnome-web-list gnome org
Subject: Some pages appear to be discontinued, still search able, have Mixed Content
Date: Mon, 27 May 2013 23:28:55 -0400

Hello there,

Several pages like this:
https://developer.gnome.org/clutter/1.11/

Are no longer linked to from here:
https://developer.gnome.org/clutter/

And therefore I think they can be removed? Many search engines still link to them and it would be nice to be more likely pointed to the most up to date docs.

Lastly, that page clutter/1.11 includes insecure content which is a bad thing (https://blog.mozilla.org/tanvi/2013/04/10/mixed-content-blocking-enabled-in-firefox-23/). It might just be an issue on these old, no longer linked pages though...

Thanks!
Bryan