Hah, so I was looking in the wrong mail account. I'm glad I'm not going crazy!
I agree with all of the limitations you've outlined. I don't see any good fixes, sadly, but hopefully someone else does. Dustin -- You received this message because you are subscribed to the Google Groups "Puppet Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/puppet-dev/CAJtE5vSb8KSGkvpT7wtwfiSUoHBitFZLBUZUDReqQdWDyMo0hQ%40mail.gmail.com. For more options, visit https://groups.google.com/groups/opt_out.
