Release 0.4.1: pretty-printing of library entities, escape of non-ascii characters in URLs, bug fixes