On 4/16/23 at 16:13, Martin Koppenhoefer wrote: > nobody has yet responded to the question about scratchings The wiki says that "A mural is any piece of artwork painted or applied directly on a wall, ceiling or other large permanent surface". IMHO scratchings could be considered murals according to the wiki guidelines.