[asdf-devel] optimization settings (retitled this topic)