His ABC plugins are not in the library. They are basic plugins associated with the book on VCV Rack programming he wrote - they can be downloaded from his github.
But you’re probably right - just do it.
Add: " NOTE: The plugins are ready for RACK v2!"