Hangul Type 1 fonts for HLaTeX-0.95 and other applications