Tvheadend

I watch the forum using an RSS feed aggregator (Feedbro on Firefox) and have noticed that the TVH forum seems to have an intermittent problem. The links seem to have the wrong domain; for example one recent link was:

https://127.0.0.1:8080/boards/5/topics/29237?r=35261#message-35261

which of course should have started:

https://tvheadend.org/boards/5/topics/29237

The URL I'm fetching the feed from is:

https://tvheadend.org/projects/tvheadend/activity.atom?show_messages=1

but at present that too seems to be advertised as
https://127.0.0.1:8080/projects/tvheadend/activity.atom?show_messages=1

Or have I misunderstood what I'm seeing?