Why the option for precheck is not shown in efabless site once user project is created in there? Only 'opengalaxy' and 'git pull' tabs are seen.