Looks like @davidrichman hasn't received any replies!