"Documentation/user_guide.tex" did not exist on "265301b7bea9c326b28e1260e9851cec90f32685"