I could try to implement it (if you haven't already). What file do you want
it in? This PR, or another?

-- 

// Magnus Holm