Yeah, /dev is not ‘developer’. Next someone will come up with

/usr/social

assuming it’s ‘user’