whl/mainbox: links for abcdmini