Update WebPPL.md