Editorial: remove unnecessary parameter by jugglinmike · Pull Request #5132 · whatwg/html

Add a description of Editorial: remove unnecessary parameter by jugglinmike · Pull Request #5132 · whatwg/html