On 2023-04-10 15:36, Bruno Haible wrote:
> I like this. Thanks.

OK, then let's hear Zack's opinion and hopefully move forward.

In the meantime I installed the attached Gnulib patch, which documents 
the current situation better as you suggested (e.g., by suggesting 
year2038 first) and updates some of the version info.