glossary: extend "detached HEAD" description