Base.div vs Html.div - specialize or not?

General Usage
26

I did participate in this thread, where I was opposed to your opinion. I was a bit more in agreement with Jeff Bezanson. I actually wrote some software in reaction to this thread, see
Using_merge.jl