backup of the now obsolete github-located demlinks repo