Re: some minor modifications to wiki [Koji/ServerHowTo]