htmlized manualnosubhead more or less ready for code.