Add section which got accidentally removed

#3
by nielsr HF Staff - opened

My previous PR removed a section, apologies, this one adds it.

infgrad changed pull request status to merged

Sign up or log in to comment