Minor fixes to workshop manual + add PDF version