Now the documentation is displayed again on linux.