Without paying strict attention to the thread so far * The current formatting in the HTML is of almost no use to most users. * This is not a technical issue which needs to be dealt with before Berlin, and so I don't think we should spend time & effort on it now.