Shinji is back online

Due to a power outage, shinji went offline and had to be manually rebooted this week-end. It also underwent some upgrades and maintenance.