Yes, in principle. I wanted to leave it in so people could actually understand the above (I did that in an earlier PR at @mluessi's request). WDYT?