Release the documents first, then finish or polish them. If you get bored with them, someone else might want to finish them off or extend them. But unless you publish them, they're only benefiting you. You might also find more motivation if they're already out there.