* manually stub out old porting guides (cherry picked from commitdedd8fa771) * manually remove Edit on Github (cherry picked from commitd5c30abcca) * add eol banner (cherry picked from commit5daf37d89e) * point all older release pages to devel (#71428) (cherry picked from commit3be597419d) (cherry picked from commit35abfbf582)