Looks like @bernardsimon hasn't received any replies!