> So I'm fine with removing . from TEXDOCS. Shall I? As far as I am concerned, yes. Done for tonight's update.