<div dir="auto">For gettext and makeinfo<div dir="auto"><br></div><div dir="auto"><br></div></div>