Extra keys and Extra Keys Pro are updated to version 3.0.1.
This a very minor update with bug fixes and other small code changes, no other alterations. Due to the bug fixes, all users are recommended to update to this version.
The Linux edition remains at 3.0.0 for now, as the changes above are not relevant.