Looks like @dorisk hasn't received any replies yet!