Removed timestamp from manual

This will allow me to simplify the update of online manual
(before I needed to remove with a scripts the timestamps
a posteriori to avoid too many differences at every update)