Header suggestion is not triggered when `#` is typed

I moved several posts into a separate bug report because they are off topic in that thread .
The # not triggering the header suggestion will be fixed in 0.8.9.

There is alredy a bug report for propagating the rename of headers. It will be implemented at some point along with some improvements to the whole header management.

1 Like