Beautify pin! docs

[est31]

This makes pin docs a little bit less jargon-y and easier to read, by

• splitting up the sentences
• making them less interrupted by punctuation
• turning the footnotes into paragraphs, as they contain useful information that shouldn't be hidden in footnotes. Footnotes also interrupt the read flow.