ba600f39d8
upstream: - add East Asian width - hack to consider regular expressions ending with `$' - do not flush stdout - better upper/lowercase from internal python db packaging: - include manual page - update to unicode-13