Inspect the target implementation

[NimRo97]

• [x] Inspect the implementation
• [x] List our findings
• [x] Open issues in the target repository