in reply to Re: A 'nodownload' attribute for the code element?
in thread A 'nodownload' attribute for the code element?

Why not even shorten it to <code dl="[0|1]">

elbieelbieelbie