style Github replaces spaces with dashes and removes a bunch of characters from generated header ids ][&~$!@#*()=:/,;?+'.\ This feature implements this. Closes # 320, closes #321