Looks like @bernardsimon hasn't received any replies yet!