Testing Github pages regeneration to fix problem