Change name of commands (remove double "--")
Fix problem for putting Org mode Git Info files *first*
Update code generated when exporting inline tasks to HTML

Fix name of Leuven faces.