<div dir="ltr">Hi.  I wanted to check whether there should be a <div>tag for debian in the RST version of the install guide? </div><div>Currently, there are .. only:: directive tags for ubuntu, obs, and rdo.</div><div>Thanks.</div><div>-Karen</div></div>