New menus are up

[Rikki Cattermole via Digitalmars-d]

On 20/01/2015 4:37 p.m., Andrei Alexandrescu wrote:
> On 1/19/15 7:36 PM, Rikki Cattermole wrote:
>> On 20/01/2015 4:34 p.m., Andrei Alexandrescu wrote:
>>> On 1/19/15 7:32 PM, Rikki Cattermole wrote:
>>>> Say ugh, when was the last time somebody clicked the ol' "Page wiki"
>>>> buttons.
>>>> Because atleast for intro, it doesn't exist.
>>>
>>> Ah, it was part of the topics I wanted to touch. Looks like page wikis
>>> are largely unused, should we just ditch them?
>>>
>>>
>>> Andrei
>>
>> Yes please.
>> If we feel the need to link/reference them on a page to page basis, we
>> can.
>>
>> I would also recommend the page edit button. Switch it for a 'fork me'
>> github ribbon [0].
>>
>> [0] https://github.com/blog/273-github-ribbons
>
> This was up for a little while, then it was pulled because of reasons I
> don't remember. Or at least talked about. -- Andrei

That would have been before my time then.
I can understand it would interfere with twitter/mobile and pdf ext. 
generation.

The only reason I suggest it is because it is what people expect these 
days. And would advertise that we are passionately open source.