| http://www.w3.org/ns/prov#value | - I might want to comment the whole block, or I might want to uncomment a few commented lines in a block: I can simply select the whole thing and use ctrl+k+u, comments will be uncommented and other lines will stay untouched; with ctrl + / which one would happen? it can not be both.
|
