Is the Emacs help system prior art for a Microsoft patent?