v4.7
doc: change URLs to https
maint: change http to https in license headers
fixes after Bruno's testing
sed: add --debug feature
doc: sed.x: some formatting corrections