We need to make the doc a bit more readable but I think a TODO and a ticket are fine for now.