Update spec regarding microdesc computation

pr is gone (presumably it moved into the microdesc consensus) and p is at most once.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information