Skip to content

Follow-up from "Update developer documentation etc"

The following discussion from !23 (merged) should be addressed: