remove deleted modules from docs

A follow-up to 94b82106ac8c34cf561abca2994262b3c981ba9d & 37840b07dbf9080270a0d0b844f7a8afe6ce41b8.