On 19 March 2016 at 10:46, Józef Kucia <joseph.kucia at gmail.com> wrote: > It can be implemented. However, I don't expect it to be very useful in practice. Yeah. What we tend to do is to just put in a small comment that describes how it could be implemented and why it isn't.