Merged most of commit 'sam/cleaning-websubmit'
Merged most of sam/cleaning-websubmit branch, except for
removal of one hunk concerning def specialchars()
and use of refextract's replace_undesirable_characters()
in-there since it could be dangerous to manipulate user
input in this way. More study needed.