GitLab

from the list of standard info directories when appending it to the
end -- their order is important.