Looks like @ptolemy hasn't received any replies!