what-is-hugo-short-for