Currently KNOWN BUGS are tracked on the gerbv bug tracker at
https://github.com/gerbv/gerbv/issues
