Thread:NoHeffThing/@comment-37748506-20191226041357/@comment-34495026-20191226053821

Oh! I think I got what you mean. Yes, you can delete them. They're pretty messy anyway.