Did Reddit just close old.reddit.com?

► curl https://old.reddit.com/ -v

* Host old.reddit.com:443 was resolved.

...

> GET / HTTP/2

> Host: old.reddit.com

> User-Agent: curl/8.9.1

> Accept: /

>

* Request completely sent off

< HTTP/2 500

< content-type: text/html; charset=UTF-8

...

< content-length: 300

<

<html>

  <head>

    <title>reddit broke!</title>

  </head>

vs

► curl https://www.reddit.com/ -v

* Host www.reddit.com:443 was resolved.

...

> GET / HTTP/2

> Host: www.reddit.com

> User-Agent: curl/8.9.1

> Accept: /

>

* Request completely sent off

< HTTP/2 302

...

< content-type: text/html; charset=utf-8

...

< content-length: 412

<

<?xml version="1.0" encoding="utf-8"?>

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"

"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">

<html>

  <head>

    <title>302 Found</title>

  </head>

...