Проблема с доступом к https://invent.kde.org

Сейчас наблюдаются проблемы с доступом к https://invent.kde.org.
Интересно, что отвёты с 80 порта проходят без проблем, проверял curl’ом:

$ curl -XGET http://invent.kde.org
<html>
<head><title>301 Moved Permanently</title></head>
<body>
<center><h1>301 Moved Permanently</h1></center>
<hr><center>nginx</center>
</body>
</html>

Трассировка до invent.kde.org идёт без проблем, провайдер Ростелеком.
Это видимо РКН чудит или что?

Да, похоже на блокировку порта 443 у IP-адреса 188.40.133.145 на ТСПУ. По IPv6 сайт доступен.

% sudo ./lft -d 443 188.40.133.145 
Tracing .....*****
TTL LFT trace to lerwini.kde.org (188.40.133.145):443/tcp
 1  _gateway (192.168.69.1) 0.5ms
 2  95-161-156-121.obit.ru (95.161.156.121) 1.1ms
 3  vi-xx-1914.4900m.250.112.spb.obit.ru (172.29.192.206) 13.7ms
 4  vi-xx-1913.4900m.250.160.spb.obit.ru (172.29.192.121) 5.7ms
 5  vi-xx-1920.ohr1.spb.obit.ru (172.29.194.77) 7.0ms
**  [443/tcp no reply from target]  Try advanced options (use -VV to see packets).

% sudo ./lft -d 80 188.40.133.145  
Tracing .................T
TTL LFT trace to lerwini.kde.org (188.40.133.145):80/tcp
 1  _gateway (192.168.69.1) 0.4ms
 2  95-161-156-121.obit.ru (95.161.156.121) 2.1ms
 3  vi-xx-1914.4900m.250.112.spb.obit.ru (172.29.192.206) 2.7ms
 4  vi-xx-1913.4900m.250.160.spb.obit.ru (172.29.192.121) 2.8ms
 5  vi-xx-1920.ohr1.spb.obit.ru (172.29.194.77) 0.9ms
 6  vi-xx-1534.shr3.spb.obit.ru (172.29.194.94) 3.3ms
 7  te-1-0-0.hnt3.spb.obit.ru (172.29.255.197) 4.5ms
 8  vi-xx-0999.brc1.spb.obit.ru (172.29.194.113) 1.4ms
 9  vi-xx-1692.brc1.spb.obit.ru (172.29.194.37) 7.0ms
10  vi-xx-0150.brc2.obit.ru (85.114.1.13) 2.4ms
11  109.239.136.184 33.3ms
12  core0.fra.hetzner.com (213.239.252.17) 37.8ms
13  core23.fsn1.hetzner.com (213.239.224.65) 43.2ms
14  ex9k1.dc13.fsn1.hetzner.com (213.239.245.238) 42.8ms
15  [target open] lerwini.kde.org (188.40.133.145):80 42.4ms

Можно ли внести данный сайт в список проксируемых?

РКН дал ответ по этому домену
Ответ заявителю.docx (48,0 КБ)

Но сайт по-прежнему блокирован, видимо в заявлении надо было указывать IP адрес так как блокируется по нему.

По данным globalcheck, сейчас местами работает.

У меня недавно заработало, но теперь опять перестало. Может быть снова сменился IP-адрес у сайта?