K 10 svn:author V 5 danfe K 8 svn:date V 27 2019-05-29T14:14:14.953928Z K 7 svn:log V 71 For ports under categories a* and b*: remove some excessive linefeeds. END