Version 00.013.003: GitHub quirk work-around on project front-end.