<div dir="auto">To recap: I have to test patches 0003-6-7 and not 0008. Right?</div>