Yes I can email him but I thought it would be better to ask there so other people could discuss that suggestion. Now I don't need that feature since I can imple

Yes I can email him but I thought it would be better to ask there so other people could discuss that suggestion. Now I don't need that feature since I can implement it myself thanks to brudgers' indication, and since nobody else seems to be interested in it, there's no reason to add it on the HN server.