<div dir="ltr"><div dir="ltr">Is there a difference between options b and c? Or have only minor fixes been added since the release?</div><div dir="ltr"><br></div><div>Benjamin</div></div>