Kasper Welner

@remirobert That would only offset the scroll bar indicator so that its top position is 20 points below the top which would look horrible. Also it wouldn't keep the section...

It would be great with an annotation that specified whether the results of the extension should be included in `makeJSON`

Are there any plans to resolve this issue?