Editorial changes in pages for Jan 2024

This page lists the editorial changes in machine descriptions and in navigation pages for Jan 2024. UTC time is used. Each page in the site has a timestamp at the bottom left. Date/time can be more recent if page has been modified for purposes which are not editorial (e.g. page format change).