Looks like @joshuadietz hasn't received any replies!