fix web page style
fix time recording
aux->auxiliary has more impact than excpected ;-)
Merge remote-tracking branch 'upstream/master'
these looked like typos
typo
fix log.ref
Merge git.sv.gnu.org:/srv/git/liberty-eiffel
Fix for docs generation