Cleaned up font encoding handling. Added 'Ignore#' option to the [fonts] section. Also, file with cached metrics now has the value of $DISPLAY appended to the filename.