New posts in Xfig

automatic conversion of xfig to tikz

Larger "xterm" fonts on HIDPI displays