Pages for logged out editors learn more
For consistency would this not better be named something like Terminal control/Coloured text ? --Dgamey 03:27, 9 September 2011 (UTC)