Building CIQ 5 devices (e.g. fr955) in SDK 4.2.4 results in error claiming "SDK 5.0.0 or greater" is required - shouldn't this be SDK 7.1.0?

Example of error message:

ERROR: Device 'fr965' requires an SDK version of 5.0.0 or greater to be compiled. The current SDK version is 4.2.4. Update your SDK using the Connect IQ SDK Manager.

This doesn't make sense to me because:

- There was no SDK 5.x. Afaik, SDK versions went directly from 4.2.4 to 6.2.0

- SDK 7.1.0 is the first SDK to support CIQ 5.0.0

It seems that the minimum SDK for CIQ 5 devices should actually be 7.1.0

Currently an older SDK such as 6.4.2 (or anything less than 7.1.0) can currently be used to build CIQ 5 devices. If my statement above is correct, then this behavior is wrong.