<div dir="ltr"><div class="gmail_extra">I didn't know the times package is obsolete. What package is preferred for taking its place? </div><div class="gmail_extra">Thanks,</div><div class="gmail_extra">John Burt</div></div>