[note to Moderators/Admins: this is not a MOD writer discussion. I am asking the developers where they hid a certain piece of code, hence it's - in my humble opinion - a development question] I would like to add a second time display to the overall header, in addition to the board time as defined i...