Looks like @jhf hasn't received any replies!