Lobsters: Push-based vs Pull-based Customization