Looks like @palindrom hasn't received any replies!