Add timestamp insertion to <F3>.