Looks like @jwj hasn't received any replies!