[bpkyrail] Text with timestamped keystrokes

Create an editor which records a time and date for each character, when it was typed.

It could also record the times when characters were deleted, for saving undo state.  Deleted text might be visible grayed out or with strikethrough.