Latest version of the following gems require idris-auto_complete_jquery
This gem has no reverse dependencies.