... (EDIT: There are other changes I would prefer to put priority on, e.g. to get an option to set times to 24-hour format. As it is now I have some trouble to see when postings were made, I can't wrap my head around AM/PM. Must always stop to ponder.)