Looks like @martibis hasn't received any replies!