wok log numlockx/receipt

age author description
2022-02-19 Pascal Bellard Add some current_version
2015-04-17 Richard Dunbar Add numlockx