See discussion: Category talk:HTML editors#Move category to Category:Web_editors Architekt1024 (talk) 23:47, 4 July 2023 (UTC)[reply]