Yes, it is ok to edit this page. This is a wiki. So edit it! :-)
Status:. Technically, I only still do the occasional #editfri. Typically not on Friday. (OTOH, with vim support installed, I may actually edit usefully from time to time, just for old time's sake :-). Now, all new, sometimes anon edits from IPv6.