GitHub's Org mode renderer doesn't use the CUSTOM_ID property for
generating internal in-file links like Org mode itself does. So, at
least for now, the internal link has to match the heading's full name.
- [[#header][Header]]
- [[#initial-setup][Initial setup]]
- [[#core][Core]]
-- [[#post-init][Post initialization]]
+- [[#post-initialization][Post initialization]]
- [[#footer][Footer]]
* Header
* Post initialization
:PROPERTIES:
-:CUSTOM_ID: post-init
+:CUSTOM_ID: post-initialization
:END:
Display how long it took to load the init file.