Some updates to webdev.el