v4.5
doc: change URLs to https
maint: change http to https in license headers
fixes after Bruno's testing
doc: small improvements
doc: elaborate about regex matching on pattern space