On Tue, Mar 27, 2012 at 09:02:39AM +0200, Frederik Ramm wrote: > now that tiles at home is officially dead, is it ok to remove this > list or does anyone still need it for anything? I think you can remove this list. flo