[captn3m0]

(I answered the stackexchange question). I agree, it is definitely picked with that intent, but it’s harder to prove.

14 character strings that abbreviate to OBSD/English is a much larger set than the traditional picks.