Added post_id to the front matter of blog posts, for use in Hugo templates. This is Micro.blog’s internal number. Usually using guid or url is better if you need an identifier.