use sub instead of delete, since they diff

Delete actually delete every intersecting character and
not *only* the matching string.
Merge branch 'staging' into augmenting304_ssh_access_for_git
ignore search-ignore.
Merge branch 'augmenting304_ssh_access_for_git' into develop
Merge branch 'develop' into develop.ontohub.org