some of the "known missing pages" (ToDo#known_missing_pages) are no more red links. Are they still in this list on purpose, e.g. because the current version is still in draft stage? Or should they be moved into a "DONE" section? — M. F. Hasler 14:27, 6 October 2010 (UTC)
Apparently ogg is the only video format allowed on wikipedia. Maybe you could allow it here also in the list of permitted upload formats. I managed to convert the full (22MB) and short (999KB) versions of the MP4 OEIS videos on YouTube to OGG and want to upload the short version here (and on Wikipedia commons for wikipedia:OEIS if I get the permission of the author). Frank Ellermann 00:44, 22 January 2011 (UTC)
Not really a problem, but the fix is quick and easy too, if wanted. At various places there are links to next page or such. For example: https://oeis.org/draft (older changes) https://oeis.org/history?user=Juhani%20Heino (older changes)
Could there be the same set of links below the contents as well, so we don't have to scroll back to the top?