Follow-up from "Update developer documentation etc"

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

• @yblankensteinh2s started a discussion:

  Resolve all NOTE: TODO: tags in design documentation.