List, BulletList, and NumberList plugins for OJ