<div dir="ltr">Thank you Adam.<div><br></div><div>Your hunch fixed it</div><div><br></div><div>(While I was downloading boostrap3 from hg (at 4am :-), I had mistyped a filename extension, and both boostrap3.urp would up getting overwritten by boostrap3.ur.)</div><div><br></div><div><br></div></div>