ProgLang.bib: refine entry output