SOFTHSM-55: convert WIN32-NOTES to markdown