Human proofs of identities by Osburn and Schneider

Osburn and Schneider derived several combinatorial identities involving harmonic numbers using the computer programm Sigma. Here, they are derived by partial fraction decomposition and creative telescoping

A continued fraction expansion for a q-tangent function: An elementary proof

We prove a continued fraction expansion for a certain $q$-tangent function that was conjectured by the present writer, then proved by Fulmek, now in a completely elementary way