md2man-html: document how heading permalinks work