<div dir="ltr"><div dir="ltr">An orphaned build checker is now in sbocheck (and other appropriate places as well). I was planning on a new sbotools version for the next public update anyway, so it'll be available starting then.<div><br></div><div>Thanks, J. Milgram!</div></div></div>