Skip to content

A bit of cleanup and comments

Revert unneeded commit, remove backport patch, and add a comment

Closes #30 (closed)

Merge request reports