GeneralSettings.useoriginallastmodified: Add possibility to use other date sources than the "Last-Modified" header

Status:	Closed	Created:	2022-11-07T18:19:00Z
Priority:	Normal	Progress:	100%
Last Update:	2022-11-07T19:08:43Z	Details:	here