The OCRA algorithm, which is essentially an extended version of HOTP actually uses HOTP with HMAC-SHA256 and HMAC-SHA512. (https://tools.ietf.org/html/rfc6287#page-7).

This convinces me that it is a good idea to parameterize the algorithm selection in HOTP after all.