various enhancements via gogs
by Diez B. Roggisch 13 Aug '18

13 Aug '18