LaTeX markup improvements
Remove Linux random.c stub

Maybe when Linux' random.c stops being an ad-hoc moving target, we can
speak about it intelligently.