MOVED: Arduino library build size

This topic has been moved to Other Software Development.