Known issues

These are known issues with the current version (0.81) of the BootCat front-end:

export http_proxy=http://my.proxy.org:8080/