docs: Throw in a document about bitop, sext, extr, extrs conventions.