what is hugo short for