<div dir="ltr">The documentation does not provide any solutions to this bug. Nothing in the README will solve the bug. This is a real bug.   --linas<br></div>