Manual and JavaDoc: Documented new date/time formatting possibilities, also improved formatting related documentation in general.