Closes #360: non-ascii heading id generation