Some questions on ELKS web sites

Hello all,

First, I would like to thank you guys who spend some time to maintain 
ELKS, so that I can reuse it to implement Linux on my current toy : 
http://www2.advantech.com/products/1-2JKP2Y/SNMP-1000-B/mod_B01ABE8D-C8AA-4530-8E3C-9FCD2623D9D6.aspx 
(yes, it is a IBM-PC XT architecture).

Then, I would ask maybe a FAQ : what is the ELKS official web site today 
? I see mainly a SourceForge page (http://elks.sourceforge.net/) and a 
GitHub page (https://github.com/jbruchon/elks). What is the right one ?

By the way, the page http://elks.sourceforge.net/mailinglist.html 
contains a broken link : http://rainbow.cs.unipi.gr/linux-8086-list.

Best regards,

Marc-F. Lucca-Daniau