Finally finished the article on my thesis, aka how to find #NetBSD locking bugs through LockDoc:

https://scholz.ruhr/blog/finding-netbsd-locking-bugs/

A huge thank you to @flipreverse for the groundwork and guidance and the @netbsd maintainers for their constant support.