update manual/patterns.html