Changes to Tools/GitLab@FJFI/index