[eecsninja]

If I had the option to reduce my working hours by 25%, I would actually prefer to accrue the extra time as vacation, so that I can take several weeks off at once.