The uniqueness of a binary doubly-even self-dual [48, 24, 12] code is used to prove that a self-orthogonal 5-(48, 12, 8) design, as well as some of its derived and residual designs, including a quasi-symmetric 2-(45, 9, 8) design, are all unique up to isomorphism.