Great work, Bill ! Thank you a lot. The .NOT file extension is exactly
what I dreamed about.