Fair enough. I misinterpreted your question to be "So, Mozilla says that this replaces Greasemonkey?", and wanted to clarify the situation (and also snark about the capitalization, a long-time peeve that I should really let go, but never quite can).